Trace number 278444

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 493.936 494.174

General information on the benchmark

NameMaxCSP/cnf/2-40-2100-3000/
cnf-2-40-2900-050221_ext.xml
MD5SUMa6e9367b3b405d0ac5c7e5614f8927c4
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints357
Best CPU time to get the best result obtained on this benchmark4.5933
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints654
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension654
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=pfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/278444-1169288121/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.39	       =>  wckTime=0.087  cpuTime=0.07  mem=6M910
0.39	   
0.39	   relations being loaded...
0.39	   
0.39	   constraints being loaded...
0.54	     nbConstraints=654  nbRelationTypes=14  nbExtensionStructures=14  nbSharedExtensionStructures=640
0.54	     nbConflictsStructures=14  nbSharedConflictsStructures=640  nbSharedBinaryRepresentations=52  maxDegree=37
0.54	     maxArity=2
0.54	       =>  wckTime=0.242  cpuTime=0.17  mem=8M860
0.58	   
0.58	   solver LocalSearchSolver being built... 
0.62	       =>  wckTime=0.32  cpuTime=0.21  mem=5M688
0.62	
0.62	s SATISFIABLE
0.62	o 299
0.62	c 355
0.62	o 306
0.62	c 348
0.63	o 313
0.63	c 341
0.63	o 317
0.63	c 337
0.63	o 319
0.63	c 335
0.63	o 325
0.63	c 329
0.63	o 331
0.63	c 323
0.63	o 335
0.63	c 319
0.63	o 340
0.63	c 314
0.63	o 343
0.63	c 311
0.63	o 345
0.63	c 309
0.63	o 347
0.63	c 307
0.63	o 351
0.63	c 303
0.63	o 352
0.63	c 302
0.63	o 354
0.63	c 300
1.89	o 355
1.89	c 299
2.93	   
2.93	   search
2.93	     run=0  nbConstraintChecks=11191473  nbAssignments=10000
2.93	       =>  wckTime=2.31  cpuTime=2.29  mem=5M688
3.93	o 356
3.93	c 298
3.94	o 357
3.94	c 297
5.19	   
5.19	   search
5.19	     run=1  nbConstraintChecks=22454376  nbAssignments=20000
5.19	       =>  wckTime=4.574  cpuTime=4.54  mem=5M688
7.40	   
7.40	   search
7.40	     run=2  nbConstraintChecks=33650299  nbAssignments=30000
7.40	       =>  wckTime=6.781  cpuTime=6.75  mem=5M688
9.62	   
9.62	   search
9.62	     run=3  nbConstraintChecks=44913468  nbAssignments=40000
9.62	       =>  wckTime=9.001  cpuTime=8.96  mem=5M688
11.83	   
11.83	   search
11.83	     run=4  nbConstraintChecks=56106848  nbAssignments=50000
11.83	       =>  wckTime=11.218  cpuTime=11.19  mem=5M688
14.07	   
14.07	   search
14.07	     run=5  nbConstraintChecks=67368262  nbAssignments=60000
14.07	       =>  wckTime=13.455  cpuTime=13.42  mem=5M688
16.30	   
16.30	   search
16.30	     run=6  nbConstraintChecks=78572568  nbAssignments=70000
16.30	       =>  wckTime=15.681  cpuTime=15.65  mem=5M688
18.53	   
18.53	   search
18.53	     run=7  nbConstraintChecks=89833856  nbAssignments=80000
18.53	       =>  wckTime=17.918  cpuTime=17.87  mem=5M688
20.76	   
20.76	   search
20.76	     run=8  nbConstraintChecks=101024885  nbAssignments=90000
20.76	       =>  wckTime=20.142  cpuTime=20.1  mem=5M688
22.97	   
22.97	   search
22.97	     run=9  nbConstraintChecks=112276127  nbAssignments=100000
22.97	       =>  wckTime=22.358  cpuTime=22.32  mem=5M688
25.19	   
25.19	   search
25.19	     run=10  nbConstraintChecks=123474278  nbAssignments=110000
25.19	       =>  wckTime=24.57  cpuTime=24.53  mem=5M688
27.41	   
27.41	   search
27.41	     run=11  nbConstraintChecks=134734131  nbAssignments=120000
27.41	       =>  wckTime=26.791  cpuTime=26.74  mem=5M688
29.61	   
29.61	   search
29.61	     run=12  nbConstraintChecks=145922432  nbAssignments=130000
29.61	       =>  wckTime=28.998  cpuTime=28.95  mem=5M688
31.84	   
31.84	   search
31.84	     run=13  nbConstraintChecks=157181331  nbAssignments=140000
31.84	       =>  wckTime=31.222  cpuTime=31.18  mem=5M688
33.96	   
33.96	   search
33.96	     run=14  nbConstraintChecks=167838629  nbAssignments=149524
33.96	       =>  wckTime=33.34  cpuTime=33.3  mem=5M688
33.96	   
33.96	   global
33.96	     nbConstraintChecks=167838629  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.96	     solvingWckTime=33.339  solvingCpuTime=33.3  expiredTime=no  totalExploration=no  nbFoundSolutions=0
33.96	     globalCpuTime=33.57
33.96	       =>  wckTime=33.661  cpuTime=33.51  mem=5M688
33.96	   
33.96	   solver IterativeSystematicSolver being built... 
34.09	       =>  wckTime=33.795  cpuTime=33.61  mem=16M807
34.11	   
34.11	   preprocessing
34.11	     nbConstraintChecks=1430  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
34.11	     detectedInconsistency=no
34.11	       =>  wckTime=0.011  cpuTime=0.01  mem=16M807
34.16	   
34.16	   search
34.16	     run=0  nbConstraintChecks=65070  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=35
34.16	     nbFailedAssignments=7  nbBacktracks=10  nbVisitedNodes=53  nbRestartNogoods=0
34.16	       =>  wckTime=0.068  cpuTime=0.05  mem=16M807
34.21	   
34.21	   search
34.21	     run=1  nbConstraintChecks=147704  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=77
34.21	     nbFailedAssignments=16  nbBacktracks=26  nbVisitedNodes=120  nbRestartNogoods=2
34.21	       =>  wckTime=0.119  cpuTime=0.09  mem=16M807
34.25	   
34.25	   search
34.25	     run=2  nbConstraintChecks=251143  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=128
34.25	     nbFailedAssignments=28  nbBacktracks=48  nbVisitedNodes=205  nbRestartNogoods=3
34.25	       =>  wckTime=0.16  cpuTime=0.13  mem=16M807
34.32	   
34.32	   search
34.32	     run=3  nbConstraintChecks=409273  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=201
34.32	     nbFailedAssignments=49  nbBacktracks=81  nbVisitedNodes=332  nbRestartNogoods=4
34.32	       =>  wckTime=0.22  cpuTime=0.19  mem=16M807
34.40	   
34.40	   search
34.40	     run=4  nbConstraintChecks=632315  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=297
34.40	     nbFailedAssignments=79  nbBacktracks=132  nbVisitedNodes=509  nbRestartNogoods=6
34.40	       =>  wckTime=0.306  cpuTime=0.27  mem=16M807
34.52	   
34.52	   search
34.52	     run=5  nbConstraintChecks=955443  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=435
34.52	     nbFailedAssignments=126  nbBacktracks=207  nbVisitedNodes=769  nbRestartNogoods=10
34.52	       =>  wckTime=0.431  cpuTime=0.4  mem=16M807
34.70	   
34.70	   search
34.70	     run=6  nbConstraintChecks=1424156  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=633
34.70	     nbFailedAssignments=192  nbBacktracks=321  nbVisitedNodes=1147  nbRestartNogoods=12
34.70	       =>  wckTime=0.611  cpuTime=0.57  mem=16M807
34.96	   
34.96	   search
34.96	     run=7  nbConstraintChecks=2091622  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=909
34.96	     nbFailedAssignments=281  nbBacktracks=492  nbVisitedNodes=1683  nbRestartNogoods=14
34.96	       =>  wckTime=0.868  cpuTime=0.83  mem=16M807
35.41	   
35.41	   search
35.41	     run=8  nbConstraintChecks=3328058  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1389
35.41	     nbFailedAssignments=494  nbBacktracks=748  nbVisitedNodes=2632  nbRestartNogoods=18
35.41	       =>  wckTime=1.319  cpuTime=1.27  mem=16M807
35.99	   
35.99	   search
35.99	     run=9  nbConstraintChecks=4915264  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2016
35.99	     nbFailedAssignments=725  nbBacktracks=1132  nbVisitedNodes=3874  nbRestartNogoods=23
35.99	       =>  wckTime=1.896  cpuTime=1.83  mem=16M807
36.90	   
36.90	   search
36.90	     run=10  nbConstraintChecks=7431916  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3029
36.90	     nbFailedAssignments=1146  nbBacktracks=1708  nbVisitedNodes=5884  nbRestartNogoods=29
36.90	       =>  wckTime=2.807  cpuTime=2.74  mem=16M807
38.20	   
38.20	   search
38.20	     run=11  nbConstraintChecks=10971859  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4457
38.20	     nbFailedAssignments=1698  nbBacktracks=2572  nbVisitedNodes=8728  nbRestartNogoods=34
38.20	       =>  wckTime=4.107  cpuTime=4.04  mem=16M807
40.18	   
40.18	   search
40.18	     run=12  nbConstraintChecks=16508329  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6655
40.18	     nbFailedAssignments=2583  nbBacktracks=3869  nbVisitedNodes=13108  nbRestartNogoods=37
40.18	       =>  wckTime=6.091  cpuTime=6.02  mem=16M807
43.11	   
43.11	   search
43.11	     run=13  nbConstraintChecks=24665245  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9816
43.11	     nbFailedAssignments=3781  nbBacktracks=5815  nbVisitedNodes=19413  nbRestartNogoods=42
43.11	       =>  wckTime=9.02  cpuTime=8.95  mem=16M807
47.47	   
47.47	   search
47.47	     run=14  nbConstraintChecks=36817399  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14544
47.47	     nbFailedAssignments=5576  nbBacktracks=8735  nbVisitedNodes=28856  nbRestartNogoods=47
47.47	       =>  wckTime=13.38  cpuTime=13.31  mem=16M807
54.38	   
54.38	   search
54.38	     run=15  nbConstraintChecks=55236860  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21779
54.38	     nbFailedAssignments=8418  nbBacktracks=13115  nbVisitedNodes=43313  nbRestartNogoods=52
54.38	       =>  wckTime=20.292  cpuTime=20.22  mem=16M807
65.05	   
65.05	   search
65.05	     run=16  nbConstraintChecks=84288111  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=32759
65.05	     nbFailedAssignments=12816  nbBacktracks=19684  nbVisitedNodes=65257  nbRestartNogoods=58
65.05	       =>  wckTime=30.957  cpuTime=30.88  mem=16M807
80.50	   
80.50	   search
80.50	     run=17  nbConstraintChecks=126344197  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=48988
80.50	     nbFailedAssignments=19184  nbBacktracks=29536  nbVisitedNodes=97701  nbRestartNogoods=64
80.50	       =>  wckTime=46.409  cpuTime=46.32  mem=16M807
104.60	   
104.60	   search
104.60	     run=18  nbConstraintChecks=190725989  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=73370
104.60	     nbFailedAssignments=28768  nbBacktracks=44315  nbVisitedNodes=146433  nbRestartNogoods=67
104.60	       =>  wckTime=70.513  cpuTime=70.42  mem=16M807
140.90	   
140.90	   search
140.90	     run=19  nbConstraintChecks=287126589  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=110529
140.90	     nbFailedAssignments=43748  nbBacktracks=66484  nbVisitedNodes=220725  nbRestartNogoods=72
140.90	       =>  wckTime=106.81  cpuTime=106.71  mem=16M807
193.93	   
193.93	   search
193.93	     run=20  nbConstraintChecks=429116402  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=165276
193.93	     nbFailedAssignments=65230  nbBacktracks=99736  nbVisitedNodes=330156  nbRestartNogoods=78
193.93	       =>  wckTime=159.836  cpuTime=159.71  mem=16M807
274.43	   
274.43	   search
274.43	     run=21  nbConstraintChecks=643349978  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=247234
274.43	     nbFailedAssignments=97298  nbBacktracks=149614  nbVisitedNodes=493726  nbRestartNogoods=85
274.43	       =>  wckTime=240.333  cpuTime=240.18  mem=16M807
400.48	   
400.48	   search
400.48	     run=22  nbConstraintChecks=976209563  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=374064
400.48	     nbFailedAssignments=149294  nbBacktracks=224434  nbVisitedNodes=746871  nbRestartNogoods=90
400.48	       =>  wckTime=366.387  cpuTime=366.18  mem=16M807
494.13	   
494.13	   search
494.13	     run=23  nbConstraintChecks=1222825397  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=469059
494.13	     nbFailedAssignments=187069  nbBacktracks=281655  nbVisitedNodes=936516  nbRestartNogoods=96
494.13	       =>  wckTime=460.034  cpuTime=459.78  mem=16M807
494.13	   
494.13	   global
494.13	     nbConstraintChecks=1222826827  nbRestartNogoods=96  solvingWckTime=460.035  solvingCpuTime=459.79  expiredTime=no
494.13	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=493.46
494.13	       =>  wckTime=493.83  cpuTime=493.4  mem=16M807
494.13	
494.13	s OPTIMUM FOUND
494.13	v 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 
494.13	   
494.13	   totalWckTime=493.905  totalCpuTime=493.46

Verifier Data (download as text)

297 unsatisfied constraints, 357 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/node13/watcher-278444-1169288121 -o ROOT/results/node13/solver-278444-1169288121 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278444-1169288121/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: 0.86 1.15 1.51 3/81 25230
/proc/meminfo: memFree=1353664/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=172 CPUtime=0
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 217 0 0 0 0 0 0 0 19 0 1 0 277207343 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11878699 0 0 4096 0 0 0 0 17 1 0 0
/proc/25229/statm: 43 24 18 14 0 3 0

[startup+0.106207 s]
/proc/loadavg: 0.86 1.15 1.51 3/81 25230
/proc/meminfo: memFree=1353664/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=914988 CPUtime=0.08
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 3064 0 1 0 7 1 0 0 17 0 8 0 277207343 936947712 2810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25229/statm: 228747 2810 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.514262 s]
/proc/loadavg: 0.86 1.15 1.51 3/81 25230
/proc/meminfo: memFree=1353664/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916356 CPUtime=0.51
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 6577 0 1 0 46 5 0 0 16 0 8 0 277207343 938348544 6316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25229/statm: 229089 6316 2149 14 0 215559 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 916356

[startup+1.33736 s]
/proc/loadavg: 0.86 1.15 1.51 2/88 25241
/proc/meminfo: memFree=1335560/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=1.33
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 7257 0 1 0 118 15 0 0 17 0 8 0 277207343 938479616 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 6995 2476 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.13
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 339 0 0 0 12 1 0 0 16 0 8 0 277207350 938479616 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916488 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938483712 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 916484

[startup+2.98859 s]
/proc/loadavg: 0.87 1.14 1.51 2/88 25241
/proc/meminfo: memFree=1335560/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=2.96
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 7260 0 1 0 254 42 0 0 17 0 8 0 277207343 938479616 6997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073703106 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25229/statm: 229121 6997 2476 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 6997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 6997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.13
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 341 0 0 0 12 1 0 0 17 0 8 0 277207350 938479616 6997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 6997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 6997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 916484

[startup+6.26802 s]
/proc/loadavg: 0.87 1.14 1.51 3/95 25303
/proc/meminfo: memFree=1331216/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916488 CPUtime=6.24
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 7261 0 1 0 528 96 0 0 16 0 8 0 277207343 938483712 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 6998 2476 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 202 0 0 0 2 0 0 0 17 0 8 0 277207347 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.13
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 342 0 0 0 12 1 0 0 16 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 916488

[startup+12.7589 s]
/proc/loadavg: 0.96 1.15 1.50 2/88 25326
/proc/meminfo: memFree=1332496/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=12.73
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 7261 0 1 0 1069 204 0 0 25 0 8 0 277207343 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 6998 2476 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916488 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938483712 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.13
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 342 0 0 0 12 1 0 0 16 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916488 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938483712 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 916484

[startup+25.5996 s]
/proc/loadavg: 1.05 1.16 1.50 2/88 25379
/proc/meminfo: memFree=1335120/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916488 CPUtime=25.57
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 7261 0 1 0 2142 415 0 0 25 0 8 0 277207343 938483712 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 6998 2476 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.13
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 342 0 0 0 12 1 0 0 16 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 916488

[startup+51.302 s]
/proc/loadavg: 1.15 1.18 1.50 2/85 25429
/proc/meminfo: memFree=1333032/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=51.26
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 9180 0 1 0 4565 561 0 0 25 0 8 0 277207343 938479616 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878062 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 8914 2528 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.22
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 399 0 0 0 21 1 0 0 16 0 8 0 277207350 938479616 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.26
Current children cumulated vsize (KiB) 916484

[startup+102.589 s]
/proc/loadavg: 1.06 1.15 1.47 2/85 25429
/proc/meminfo: memFree=1333096/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=102.53
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 9189 0 1 0 9692 561 0 0 25 0 8 0 277207343 938479616 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847918 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 8922 2528 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.22
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 277207350 938479616 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.53
Current children cumulated vsize (KiB) 916484

[startup+162.611 s]
/proc/loadavg: 1.02 1.12 1.44 2/85 25429
/proc/meminfo: memFree=1333160/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=162.52
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 9193 0 1 0 15691 561 0 0 25 0 8 0 277207343 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823082 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 8926 2528 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.22
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 277207350 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.52
Current children cumulated vsize (KiB) 916484

[startup+222.635 s]
/proc/loadavg: 1.01 1.09 1.41 2/85 25429
/proc/meminfo: memFree=1333160/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=222.53
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 9197 0 1 0 21692 561 0 0 25 0 8 0 277207343 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878843 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 8929 2528 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.22
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 277207350 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.53
Current children cumulated vsize (KiB) 916484

[startup+282.657 s]
/proc/loadavg: 1.00 1.08 1.38 3/85 25429
/proc/meminfo: memFree=1333224/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=282.53
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 9199 0 1 0 27692 561 0 0 25 0 8 0 277207343 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849667 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 8931 2528 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.22
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 277207350 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.53
Current children cumulated vsize (KiB) 916484

[startup+342.683 s]
/proc/loadavg: 1.07 1.07 1.36 2/85 25429
/proc/meminfo: memFree=1333224/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=342.52
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 9199 0 1 0 33691 561 0 0 25 0 8 0 277207343 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878062 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 8931 2528 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.22
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 277207350 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.52
Current children cumulated vsize (KiB) 916484

[startup+402.705 s]
/proc/loadavg: 1.02 1.06 1.33 2/85 25429
/proc/meminfo: memFree=1333224/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=402.52
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 9201 0 1 0 39691 561 0 0 25 0 8 0 277207343 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 8933 2528 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.22
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 277207350 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.52
Current children cumulated vsize (KiB) 916484

[startup+462.728 s]
/proc/loadavg: 1.01 1.05 1.31 2/85 25431
/proc/meminfo: memFree=1333224/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=462.52
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 9201 0 1 0 45691 561 0 0 25 0 8 0 277207343 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822985 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 8933 2528 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.22
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 277207350 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.52
Current children cumulated vsize (KiB) 916484

Child status: 0
Real time (s): 494.174
CPU time (s): 493.936
CPU user time (s): 488.311
CPU system time (s): 5.62514
CPU usage (%): 99.9519
Max. virtual memory (cumulated for all children) (KiB): 916488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 488.311
system time used= 5.62514
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9299
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= 10863
involuntary context switches= 9789

runsolver used 0.599908 s user time and 1.19682 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat Jan 20 10:15:22 UTC 2007


IDJOB= 278444
IDBENCH= 8391
IDSOLVER= 69
FILE ID= node13/278444-1169288121

PBS_JOBID= 3609536

Free space on /tmp= 66563 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-2100-3000/cnf-2-40-2900-050221_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278444-1169288121/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-278444-1169288121 -o ROOT/results/node13/solver-278444-1169288121 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278444-1169288121/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a6e9367b3b405d0ac5c7e5614f8927c4

RANDOM SEED= 578353585

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.247
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1354080 kB
Buffers:         61044 kB
Cached:         527944 kB
SwapCached:       8664 kB
Active:         305140 kB
Inactive:       318920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1354080 kB
SwapTotal:     4192956 kB
SwapFree:      4169400 kB
Dirty:            2348 kB
Writeback:           0 kB
Mapped:          41932 kB
Slab:            62784 kB
Committed_AS:  7951152 kB
PageTables:       2220 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= 66563 MiB



End job on node13 on Sat Jan 20 10:23:38 UTC 2007