Trace number 279362

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
AbsconMax 109 PFCOPTIMUM 230.859 231.557

General information on the benchmark

NameMaxCSP/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-30/
kbtree-9-2-3-5-30-11_ext.xml
MD5SUM7f860c7c06c69375dc1bcdfdb1b2370b
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints304
Best CPU time to get the best result obtained on this benchmark2.27065
Satisfiable
(Un)Satisfiability was proved
Number of variables58
Number of constraints309
Maximum constraint arity2
Maximum domain size5
Number of constraints which are defined in extension309
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/279362-1169292715/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=58  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.42	       =>  wckTime=0.111  cpuTime=0.09  mem=6M910
0.42	   
0.42	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.59	     nbConstraints=309  nbRelationTypes=309  nbExtensionStructures=309  nbSharedExtensionStructures=0
0.59	     nbConflictsStructures=309  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=3058  maxDegree=25
0.59	     maxArity=2
0.59	       =>  wckTime=0.282  cpuTime=0.19  mem=9M852
0.63	   
0.63	   solver LocalSearchSolver being built... 
0.68	       =>  wckTime=0.367  cpuTime=0.23  mem=5M660
0.68	
0.68	s SATISFIABLE
0.68	o 219
0.68	c 90
0.68	o 223
0.68	c 86
0.69	o 228
0.69	c 81
0.69	o 232
0.69	c 77
0.69	o 236
0.69	c 73
0.69	o 239
0.69	c 70
0.69	o 242
0.69	c 67
0.69	o 243
0.69	c 66
0.69	o 247
0.69	c 62
0.69	o 250
0.69	c 59
0.69	o 252
0.69	c 57
0.69	o 256
0.69	c 53
0.69	o 258
0.69	c 51
0.69	o 261
0.70	c 48
0.70	o 263
0.70	c 46
0.70	o 265
0.70	c 44
0.70	o 267
0.70	c 42
0.70	o 268
0.70	c 41
0.70	o 269
0.70	c 40
0.70	o 272
0.70	c 37
0.70	o 274
0.70	c 35
0.70	o 275
0.70	c 34
0.70	o 278
0.70	c 31
0.70	o 279
0.70	c 30
0.70	o 280
0.70	c 29
0.71	o 281
0.71	c 28
0.71	o 282
0.71	c 27
0.71	o 283
0.71	c 26
0.71	o 284
0.71	c 25
0.71	o 285
0.71	c 24
0.71	o 286
0.71	c 23
0.71	o 289
0.71	c 20
0.72	o 290
0.72	c 19
0.72	o 291
0.72	c 18
0.72	o 292
0.72	c 17
0.72	o 293
0.72	c 16
0.73	o 295
0.73	c 14
0.73	o 297
0.73	c 12
0.73	o 299
0.73	c 10
0.73	o 300
0.73	c 9
0.73	o 302
0.73	c 7
0.85	o 303
0.85	c 6
0.92	o 304
0.92	c 5
2.14	   
2.14	   search
2.14	     run=0  nbConstraintChecks=6199055  nbAssignments=10000
2.14	       =>  wckTime=1.464  cpuTime=1.43  mem=5M660
3.58	   
3.58	   search
3.58	     run=1  nbConstraintChecks=12747224  nbAssignments=20000
3.58	       =>  wckTime=2.9  cpuTime=2.84  mem=5M660
4.93	   
4.93	   search
4.93	     run=2  nbConstraintChecks=18779737  nbAssignments=30000
4.93	       =>  wckTime=4.252  cpuTime=4.18  mem=5M660
6.41	   
6.41	   search
6.41	     run=3  nbConstraintChecks=25741335  nbAssignments=40000
6.41	       =>  wckTime=5.73  cpuTime=5.64  mem=5M660
7.76	   
7.76	   search
7.76	     run=4  nbConstraintChecks=31810351  nbAssignments=50000
7.76	       =>  wckTime=7.087  cpuTime=6.99  mem=5M660
9.27	   
9.27	   search
9.27	     run=5  nbConstraintChecks=38980535  nbAssignments=60000
9.27	       =>  wckTime=8.591  cpuTime=8.49  mem=5M660
10.66	   
10.66	   search
10.66	     run=6  nbConstraintChecks=45302285  nbAssignments=70000
10.66	       =>  wckTime=9.988  cpuTime=9.87  mem=5M660
12.09	   
12.09	   search
12.09	     run=7  nbConstraintChecks=51875188  nbAssignments=80000
12.09	       =>  wckTime=11.412  cpuTime=11.28  mem=5M660
13.46	   
13.46	   search
13.46	     run=8  nbConstraintChecks=58052744  nbAssignments=90000
13.46	       =>  wckTime=12.786  cpuTime=12.65  mem=5M660
14.92	   
14.92	   search
14.92	     run=9  nbConstraintChecks=64771430  nbAssignments=100000
14.92	       =>  wckTime=14.243  cpuTime=14.08  mem=5M660
16.30	   
16.30	   search
16.30	     run=10  nbConstraintChecks=70889900  nbAssignments=110000
16.30	       =>  wckTime=15.625  cpuTime=15.45  mem=5M660
17.67	   
17.67	   search
17.67	     run=11  nbConstraintChecks=76985160  nbAssignments=120000
17.67	       =>  wckTime=16.996  cpuTime=16.82  mem=5M660
19.04	   
19.04	   search
19.04	     run=12  nbConstraintChecks=83070378  nbAssignments=130000
19.04	       =>  wckTime=18.368  cpuTime=18.18  mem=5M660
20.53	   
20.53	   search
20.53	     run=13  nbConstraintChecks=89978945  nbAssignments=140000
20.53	       =>  wckTime=19.854  cpuTime=19.65  mem=5M660
21.90	   
21.90	   search
21.90	     run=14  nbConstraintChecks=96030013  nbAssignments=150000
21.90	       =>  wckTime=21.227  cpuTime=21.01  mem=5M660
23.34	   
23.34	   search
23.34	     run=15  nbConstraintChecks=102642657  nbAssignments=160000
23.34	       =>  wckTime=22.665  cpuTime=22.44  mem=5M660
24.66	   
24.66	   search
24.66	     run=16  nbConstraintChecks=108370360  nbAssignments=170000
24.66	       =>  wckTime=23.982  cpuTime=23.75  mem=5M660
26.18	   
26.18	   search
26.18	     run=17  nbConstraintChecks=115667394  nbAssignments=180000
26.18	       =>  wckTime=25.503  cpuTime=25.25  mem=5M660
27.51	   
27.51	   search
27.51	     run=18  nbConstraintChecks=121548173  nbAssignments=190000
27.51	       =>  wckTime=26.838  cpuTime=26.57  mem=5M660
28.99	   
28.99	   search
28.99	     run=19  nbConstraintChecks=128507646  nbAssignments=200000
28.99	       =>  wckTime=28.316  cpuTime=28.04  mem=5M660
30.34	   
30.34	   search
30.34	     run=20  nbConstraintChecks=134488109  nbAssignments=210000
30.34	       =>  wckTime=29.664  cpuTime=29.37  mem=5M660
31.19	   
31.19	   search
31.19	     run=21  nbConstraintChecks=138325408  nbAssignments=216128
31.19	       =>  wckTime=30.516  cpuTime=30.22  mem=5M660
31.19	   
31.19	   global
31.19	     nbConstraintChecks=138325408  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.19	     solvingWckTime=30.515  solvingCpuTime=30.22  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.19	     globalCpuTime=30.5
31.20	       =>  wckTime=30.884  cpuTime=30.45  mem=5M660
31.20	   
31.20	   solver IterativeSystematicSolver being built... 
31.33	       =>  wckTime=31.016  cpuTime=30.56  mem=16M682
31.34	   
31.34	   preprocessing
31.34	     nbConstraintChecks=10  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.34	     detectedInconsistency=no
31.34	       =>  wckTime=0.0070  cpuTime=0.01  mem=16M682
31.42	   
31.42	   search
31.42	     run=0  nbConstraintChecks=46986  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=39
31.42	     nbFailedAssignments=15  nbBacktracks=10  nbVisitedNodes=65  nbRestartNogoods=0
31.42	       =>  wckTime=0.088  cpuTime=0.06  mem=16M682
31.48	   
31.48	   search
31.48	     run=1  nbConstraintChecks=115697  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=89
31.48	     nbFailedAssignments=42  nbBacktracks=25  nbVisitedNodes=157  nbRestartNogoods=7
31.48	       =>  wckTime=0.155  cpuTime=0.12  mem=16M682
31.55	   
31.55	   search
31.55	     run=2  nbConstraintChecks=208594  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=163
31.55	     nbFailedAssignments=83  nbBacktracks=47  nbVisitedNodes=294  nbRestartNogoods=10
31.55	       =>  wckTime=0.219  cpuTime=0.18  mem=16M682
31.65	   
31.65	   search
31.65	     run=3  nbConstraintChecks=345209  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=269
31.65	     nbFailedAssignments=142  nbBacktracks=81  nbVisitedNodes=493  nbRestartNogoods=16
31.65	       =>  wckTime=0.323  cpuTime=0.28  mem=16M682
31.82	   
31.82	   search
31.82	     run=4  nbConstraintChecks=630058  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=440
31.82	     nbFailedAssignments=246  nbBacktracks=131  nbVisitedNodes=818  nbRestartNogoods=21
31.83	       =>  wckTime=0.497  cpuTime=0.45  mem=16M682
32.02	   
32.02	   search
32.02	     run=5  nbConstraintChecks=961462  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=631
32.02	     nbFailedAssignments=353  nbBacktracks=208  nbVisitedNodes=1193  nbRestartNogoods=26
32.02	       =>  wckTime=0.693  cpuTime=0.64  mem=16M682
32.20	   
32.20	   search
32.20	     run=6  nbConstraintChecks=1249370  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=841
32.20	     nbFailedAssignments=440  nbBacktracks=321  nbVisitedNodes=1603  nbRestartNogoods=28
32.20	       =>  wckTime=0.87  cpuTime=0.81  mem=16M682
32.73	   
32.73	   search
32.73	     run=7  nbConstraintChecks=2188424  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1417
32.73	     nbFailedAssignments=828  nbBacktracks=491  nbVisitedNodes=2737  nbRestartNogoods=32
32.73	       =>  wckTime=1.406  cpuTime=1.34  mem=16M682
33.53	   
33.53	   search
33.53	     run=8  nbConstraintChecks=3840596  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2332
33.53	     nbFailedAssignments=1468  nbBacktracks=748  nbVisitedNodes=4549  nbRestartNogoods=47
33.53	       =>  wckTime=2.198  cpuTime=2.11  mem=16M682
34.77	   
34.77	   search
34.77	     run=9  nbConstraintChecks=6112023  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3627
34.77	     nbFailedAssignments=2365  nbBacktracks=1133  nbVisitedNodes=7126  nbRestartNogoods=56
34.77	       =>  wckTime=3.446  cpuTime=3.34  mem=16M682
36.08	   
36.08	   search
36.08	     run=10  nbConstraintChecks=8145341  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5005
36.08	     nbFailedAssignments=3156  nbBacktracks=1709  nbVisitedNodes=9871  nbRestartNogoods=71
36.08	       =>  wckTime=4.756  cpuTime=4.64  mem=16M682
38.23	   
38.23	   search
38.23	     run=11  nbConstraintChecks=12040323  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7336
38.23	     nbFailedAssignments=4607  nbBacktracks=2574  nbVisitedNodes=14518  nbRestartNogoods=85
38.23	       =>  wckTime=6.905  cpuTime=6.77  mem=16M682
42.11	   
42.11	   search
42.11	     run=12  nbConstraintChecks=18317245  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11108
42.11	     nbFailedAssignments=7073  nbBacktracks=3871  nbVisitedNodes=22053  nbRestartNogoods=97
42.11	       =>  wckTime=10.785  cpuTime=10.61  mem=16M682
47.10	   
47.10	   search
47.10	     run=13  nbConstraintChecks=26608296  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=16225
47.10	     nbFailedAssignments=10225  nbBacktracks=5818  nbVisitedNodes=32269  nbRestartNogoods=108
47.10	       =>  wckTime=15.77  cpuTime=15.56  mem=16M682
54.08	   
54.08	   search
54.08	     run=14  nbConstraintChecks=39171248  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=23747
54.09	     nbFailedAssignments=14819  nbBacktracks=8738  nbVisitedNodes=47295  nbRestartNogoods=122
54.09	       =>  wckTime=22.757  cpuTime=22.48  mem=16M682
64.98	   
64.98	   search
64.98	     run=15  nbConstraintChecks=58642005  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=35079
64.98	     nbFailedAssignments=21763  nbBacktracks=13116  nbVisitedNodes=69829  nbRestartNogoods=131
64.98	       =>  wckTime=33.656  cpuTime=33.34  mem=16M682
78.19	   
78.19	   search
78.19	     run=16  nbConstraintChecks=86686615  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=51952
78.19	     nbFailedAssignments=32054  nbBacktracks=19684  nbVisitedNodes=103493  nbRestartNogoods=145
78.19	       =>  wckTime=46.863  cpuTime=46.53  mem=16M682
96.82	   
96.82	   search
96.82	     run=17  nbConstraintChecks=123735742  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=75286
96.82	     nbFailedAssignments=45516  nbBacktracks=29536  nbVisitedNodes=149695  nbRestartNogoods=157
96.82	       =>  wckTime=65.491  cpuTime=65.15  mem=16M682
120.19	   
120.20	   search
120.20	     run=18  nbConstraintChecks=169259045  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=105691
120.20	     nbFailedAssignments=61126  nbBacktracks=44314  nbVisitedNodes=209590  nbRestartNogoods=169
120.20	       =>  wckTime=88.867  cpuTime=88.51  mem=16M682
149.28	   
149.28	   search
149.28	     run=19  nbConstraintChecks=223658743  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=149273
149.28	     nbFailedAssignments=82521  nbBacktracks=66483  nbVisitedNodes=293404  nbRestartNogoods=186
149.28	       =>  wckTime=117.954  cpuTime=117.55  mem=16M682
183.15	   
183.15	   search
183.15	     run=20  nbConstraintChecks=286365984  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=205765
183.15	     nbFailedAssignments=105747  nbBacktracks=99740  nbVisitedNodes=398229  nbRestartNogoods=193
183.15	       =>  wckTime=151.821  cpuTime=151.38  mem=16M682
223.75	   
223.75	   search
223.75	     run=21  nbConstraintChecks=367512475  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=285263
223.75	     nbFailedAssignments=135348  nbBacktracks=149621  nbVisitedNodes=543307  nbRestartNogoods=203
223.75	       =>  wckTime=192.42  cpuTime=191.94  mem=16M682
231.53	   
231.53	   search
231.53	     run=22  nbConstraintChecks=378394489  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=297340
231.53	     nbFailedAssignments=140248  nbBacktracks=156799  nbVisitedNodes=565243  nbRestartNogoods=216
231.53	       =>  wckTime=200.2  cpuTime=199.72  mem=16M682
231.53	   
231.53	   global
231.53	     nbConstraintChecks=378394499  nbRestartNogoods=216  solvingWckTime=200.201  solvingCpuTime=199.72  expiredTime=no
231.53	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=230.33
231.53	       =>  wckTime=231.218  cpuTime=230.28  mem=16M682
231.53	
231.53	s OPTIMUM FOUND
231.53	v 0 3 3 3 2 3 2 3 0 1 3 2 1 4 1 3 0 2 4 1 2 0 1 4 4 2 0 1 0 3 2 4 4 0 0 3 3 0 3 4 3 1 3 1 0 1 4 0 4 0 2 1 2 2 2 3 2 4 
231.53	   
231.53	   totalWckTime=231.298  totalCpuTime=230.33

Verifier Data (download as text)

5 unsatisfied constraints, 304 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-279362-1169292715 -o ROOT/results/node14/solver-279362-1169292715 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279362-1169292715/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.89 1.99 1.97 4/87 30452
/proc/meminfo: memFree=1236672/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=11820 CPUtime=0
/proc/30451/stat : 30451 (java) D 30449 30451 30155 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 277666423 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 6927140 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/30451/statm: 2955 510 421 14 0 1602 0

[startup+0.104183 s]
/proc/loadavg: 1.89 1.99 1.97 4/87 30452
/proc/meminfo: memFree=1236672/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=914988 CPUtime=0.09
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 2996 0 1 0 7 2 0 0 17 0 8 0 277666423 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072934896 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30451/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515222 s]
/proc/loadavg: 1.89 1.99 1.97 4/87 30452
/proc/meminfo: memFree=1236672/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915332 CPUtime=0.49
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 6283 0 1 0 44 5 0 0 18 0 8 0 277666423 937299968 6022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30451/statm: 228833 6022 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.3443 s]
/proc/loadavg: 1.89 1.99 1.97 3/94 30459
/proc/meminfo: memFree=1217992/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=1.31
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 7364 0 1 0 106 25 0 0 25 0 8 0 277666423 937435136 7102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073736873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30451/statm: 228866 7102 2476 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 7102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 7102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 7102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 7102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.15
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 349 0 0 0 14 1 0 0 16 0 8 0 277666431 937435136 7102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 7102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 7102 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) 915464

[startup+2.98245 s]
/proc/loadavg: 1.89 1.99 1.97 3/94 30459
/proc/meminfo: memFree=1217992/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=2.94
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 7368 0 1 0 225 69 0 0 25 0 8 0 277666423 937435136 7105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073736873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30451/statm: 228866 7105 2476 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 7105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 7105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 7105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 7105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.16
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 351 0 0 0 15 1 0 0 16 0 8 0 277666431 937435136 7105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 7105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 7105 18446744073709551615 134512640 134570532 4294956464 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) 915464

[startup+6.26176 s]
/proc/loadavg: 1.90 1.99 1.97 3/94 30459
/proc/meminfo: memFree=1217928/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=6.19
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 7369 0 1 0 463 156 0 0 25 0 8 0 277666423 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7137829 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30451/statm: 228866 7106 2476 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.16
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 352 0 0 0 15 1 0 0 16 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 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) 915464

[startup+12.7504 s]
/proc/loadavg: 1.90 1.99 1.97 3/94 30459
/proc/meminfo: memFree=1217928/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=12.62
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 7369 0 1 0 926 336 0 0 25 0 8 0 277666423 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073740386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30451/statm: 228866 7106 2476 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.16
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 352 0 0 0 15 1 0 0 17 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 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) 915464

[startup+25.6036 s]
/proc/loadavg: 1.93 1.99 1.97 3/94 30459
/proc/meminfo: memFree=1217992/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=25.37
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 7369 0 1 0 1841 696 0 0 25 0 8 0 277666423 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073736745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30451/statm: 228866 7106 2476 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.16
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 352 0 0 0 15 1 0 0 16 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915464

[startup+51.211 s]
/proc/loadavg: 1.95 1.99 1.97 3/94 30459
/proc/meminfo: memFree=1211208/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=50.76
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 9127 0 1 0 4215 861 0 0 25 0 8 0 277666423 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30451/statm: 228866 8859 2527 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.27
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 410 0 0 0 25 2 0 0 16 0 8 0 277666431 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915464

[startup+102.419 s]
/proc/loadavg: 2.07 2.02 1.98 3/100 30568
/proc/meminfo: memFree=1244512/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=101.87
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 9137 0 1 0 9325 862 0 0 25 0 8 0 277666423 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916018 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30451/statm: 228866 8868 2527 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.27
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 410 0 0 0 25 2 0 0 16 0 8 0 277666431 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 915464

[startup+162.478 s]
/proc/loadavg: 2.02 2.02 1.98 3/100 30568
/proc/meminfo: memFree=1237664/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=161.87
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 9144 0 1 0 15325 862 0 0 25 0 8 0 277666423 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856922 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30451/statm: 228866 8874 2527 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.27
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 411 0 0 0 25 2 0 0 16 0 8 0 277666431 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.87
Current children cumulated vsize (KiB) 915464

[startup+222.53 s]
/proc/loadavg: 2.01 2.01 1.98 3/100 30568
/proc/meminfo: memFree=1237536/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=221.84
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 9146 0 1 0 21322 862 0 0 25 0 8 0 277666423 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883647 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30451/statm: 228866 8876 2527 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.27
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 411 0 0 0 25 2 0 0 16 0 8 0 277666431 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.84
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 231.557
CPU time (s): 230.859
CPU user time (s): 222.228
CPU system time (s): 8.63069
CPU usage (%): 99.6986
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 222.228
system time used= 8.63069
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9245
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= 5900
involuntary context switches= 8903

runsolver used 0.298954 s user time and 0.745886 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat Jan 20 11:31:55 UTC 2007


IDJOB= 279362
IDBENCH= 9916
IDSOLVER= 69
FILE ID= node14/279362-1169292715

PBS_JOBID= 3609615

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-30/kbtree-9-2-3-5-30-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279362-1169292715/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-279362-1169292715 -o ROOT/results/node14/solver-279362-1169292715 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279362-1169292715/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7f860c7c06c69375dc1bcdfdb1b2370b

RANDOM SEED= 523235180

TIME LIMIT= 2400 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.227
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.227
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:       1237152 kB
Buffers:         53476 kB
Cached:         600556 kB
SwapCached:       9104 kB
Active:         251788 kB
Inactive:       489560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1237152 kB
SwapTotal:     4192956 kB
SwapFree:      4158792 kB
Dirty:            1800 kB
Writeback:           0 kB
Mapped:          96240 kB
Slab:            62084 kB
Committed_AS:  9389744 kB
PageTables:       2292 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= 66561 MiB



End job on node14 on Sat Jan 20 11:35:47 UTC 2007