Trace number 278489

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 400.857 401.161

General information on the benchmark

NameMaxCSP/cnf/2-40-2100-3000/
cnf-2-40-2200-970321_ext.xml
MD5SUM3b936b9423c4c588895e36b33a8088ef
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints428
Best CPU time to get the best result obtained on this benchmark3.2945
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints700
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension700
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/278489-1169288428/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.088  cpuTime=0.08  mem=6M910
0.39	   
0.39	   relations being loaded...
0.40	   
0.40	   constraints being loaded...
0.54	     nbConstraints=700  nbRelationTypes=14  nbExtensionStructures=14  nbSharedExtensionStructures=686
0.54	     nbConflictsStructures=14  nbSharedConflictsStructures=686  nbSharedBinaryRepresentations=52  maxDegree=38
0.54	     maxArity=2
0.54	       =>  wckTime=0.245  cpuTime=0.18  mem=8M860
0.59	   
0.59	   solver LocalSearchSolver being built... 
0.62	       =>  wckTime=0.323  cpuTime=0.22  mem=5M712
0.63	
0.63	s SATISFIABLE
0.63	o 338
0.63	c 362
0.63	o 347
0.63	c 353
0.63	o 353
0.63	c 347
0.63	o 361
0.63	c 339
0.63	o 367
0.63	c 333
0.63	o 372
0.63	c 328
0.63	o 381
0.63	c 319
0.63	o 383
0.63	c 317
0.63	o 392
0.64	c 308
0.64	o 394
0.64	c 306
0.64	o 396
0.64	c 304
0.64	o 400
0.64	c 300
0.64	o 401
0.64	c 299
0.64	o 402
0.64	c 298
0.64	o 406
0.64	c 294
0.64	o 407
0.64	c 293
0.64	o 411
0.64	c 289
0.64	o 413
0.64	c 287
0.68	o 414
0.68	c 286
0.68	o 420
0.68	c 280
0.79	o 422
0.79	c 278
1.02	o 424
1.02	c 276
1.03	o 425
1.03	c 275
1.94	o 426
1.94	c 274
3.02	   
3.02	   search
3.02	     run=0  nbConstraintChecks=11627106  nbAssignments=10000
3.02	       =>  wckTime=2.4  cpuTime=2.38  mem=5M712
5.36	   
5.36	   search
5.36	     run=1  nbConstraintChecks=23343559  nbAssignments=20000
5.36	       =>  wckTime=4.743  cpuTime=4.71  mem=5M712
7.67	   
7.67	   search
7.67	     run=2  nbConstraintChecks=34962441  nbAssignments=30000
7.67	       =>  wckTime=7.046  cpuTime=7.01  mem=5M712
9.98	   
9.98	   search
9.98	     run=3  nbConstraintChecks=46684543  nbAssignments=40000
9.98	       =>  wckTime=9.363  cpuTime=9.32  mem=5M712
12.27	   
12.27	   search
12.27	     run=4  nbConstraintChecks=58307963  nbAssignments=50000
12.27	       =>  wckTime=11.646  cpuTime=11.61  mem=5M712
14.57	   
14.57	   search
14.57	     run=5  nbConstraintChecks=70023172  nbAssignments=60000
14.57	       =>  wckTime=13.944  cpuTime=13.91  mem=5M712
16.85	   
16.85	   search
16.85	     run=6  nbConstraintChecks=81644688  nbAssignments=70000
16.85	       =>  wckTime=16.226  cpuTime=16.19  mem=5M712
19.22	   
19.22	   search
19.22	     run=7  nbConstraintChecks=93364617  nbAssignments=80000
19.22	       =>  wckTime=18.597  cpuTime=18.55  mem=5M712
21.52	   
21.52	   search
21.52	     run=8  nbConstraintChecks=104991156  nbAssignments=90000
21.52	       =>  wckTime=20.9  cpuTime=20.86  mem=5M712
23.84	   
23.84	   search
23.84	     run=9  nbConstraintChecks=116722637  nbAssignments=100000
23.84	       =>  wckTime=23.218  cpuTime=23.18  mem=5M712
26.14	   
26.14	   search
26.14	     run=10  nbConstraintChecks=128349515  nbAssignments=110000
26.14	       =>  wckTime=25.522  cpuTime=25.47  mem=5M712
28.46	   
28.46	   search
28.46	     run=11  nbConstraintChecks=140069329  nbAssignments=120000
28.46	       =>  wckTime=27.839  cpuTime=27.79  mem=5M712
30.75	   
30.75	   search
30.75	     run=12  nbConstraintChecks=151697022  nbAssignments=130000
30.75	       =>  wckTime=30.133  cpuTime=30.09  mem=5M712
31.98	   
31.98	   search
31.98	     run=13  nbConstraintChecks=157928016  nbAssignments=135321
31.98	       =>  wckTime=31.355  cpuTime=31.31  mem=5M712
31.98	   
31.98	   global
31.98	     nbConstraintChecks=157928016  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.98	     solvingWckTime=31.354  solvingCpuTime=31.31  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.98	     globalCpuTime=31.57
31.98	       =>  wckTime=31.679  cpuTime=31.53  mem=5M712
31.98	   
31.98	   solver IterativeSystematicSolver being built... 
32.12	       =>  wckTime=31.816  cpuTime=31.64  mem=16M831
32.13	   
32.13	   preprocessing
32.13	     nbConstraintChecks=1194  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
32.13	     detectedInconsistency=no
32.13	       =>  wckTime=0.01  cpuTime=0.01  mem=16M831
32.18	   
32.18	   search
32.18	     run=0  nbConstraintChecks=61202  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=34
32.19	     nbFailedAssignments=6  nbBacktracks=10  nbVisitedNodes=51  nbRestartNogoods=0
32.19	       =>  wckTime=0.066  cpuTime=0.04  mem=16M831
32.21	o 428
32.21	c 272
32.23	   
32.23	   search
32.23	     run=1  nbConstraintChecks=121269  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=77
32.23	     nbFailedAssignments=7  nbBacktracks=28  nbVisitedNodes=105  nbRestartNogoods=1
32.23	       =>  wckTime=0.109  cpuTime=0.07  mem=16M831
32.27	   
32.27	   search
32.27	     run=2  nbConstraintChecks=226529  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=127
32.27	     nbFailedAssignments=17  nbBacktracks=52  nbVisitedNodes=189  nbRestartNogoods=2
32.27	       =>  wckTime=0.152  cpuTime=0.11  mem=16M831
32.33	   
32.33	   search
32.33	     run=3  nbConstraintChecks=374537  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=194
32.33	     nbFailedAssignments=31  nbBacktracks=87  nbVisitedNodes=305  nbRestartNogoods=3
32.33	       =>  wckTime=0.213  cpuTime=0.17  mem=16M831
32.41	   
32.41	   search
32.41	     run=4  nbConstraintChecks=582444  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=290
32.41	     nbFailedAssignments=59  nbBacktracks=138  nbVisitedNodes=480  nbRestartNogoods=5
32.41	       =>  wckTime=0.297  cpuTime=0.26  mem=16M831
32.53	   
32.53	   search
32.53	     run=5  nbConstraintChecks=886207  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=420
32.53	     nbFailedAssignments=99  nbBacktracks=214  nbVisitedNodes=726  nbRestartNogoods=7
32.53	       =>  wckTime=0.415  cpuTime=0.37  mem=16M831
32.71	   
32.71	   search
32.71	     run=6  nbConstraintChecks=1352242  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=612
32.71	     nbFailedAssignments=161  nbBacktracks=329  nbVisitedNodes=1095  nbRestartNogoods=10
32.71	       =>  wckTime=0.597  cpuTime=0.56  mem=16M831
32.96	   
32.96	   search
32.96	     run=7  nbConstraintChecks=2014853  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=881
32.96	     nbFailedAssignments=246  nbBacktracks=499  nbVisitedNodes=1619  nbRestartNogoods=13
32.97	       =>  wckTime=0.847  cpuTime=0.8  mem=16M831
33.35	   
33.35	   search
33.35	     run=8  nbConstraintChecks=3062195  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1294
33.35	     nbFailedAssignments=388  nbBacktracks=755  nbVisitedNodes=2430  nbRestartNogoods=17
33.35	       =>  wckTime=1.231  cpuTime=1.18  mem=16M831
33.94	   
33.94	   search
33.94	     run=9  nbConstraintChecks=4534554  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1883
33.95	     nbFailedAssignments=579  nbBacktracks=1139  nbVisitedNodes=3594  nbRestartNogoods=21
33.95	       =>  wckTime=1.828  cpuTime=1.75  mem=16M831
34.91	   
34.91	   search
34.91	     run=10  nbConstraintChecks=6954477  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2823
34.91	     nbFailedAssignments=927  nbBacktracks=1715  nbVisitedNodes=5458  nbRestartNogoods=25
34.91	       =>  wckTime=2.791  cpuTime=2.71  mem=16M831
36.33	   
36.33	   search
36.33	     run=11  nbConstraintChecks=10618695  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4237
36.33	     nbFailedAssignments=1461  nbBacktracks=2579  nbVisitedNodes=8270  nbRestartNogoods=27
36.33	       =>  wckTime=4.215  cpuTime=4.13  mem=16M831
38.37	   
38.37	   search
38.37	     run=12  nbConstraintChecks=15999826  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6328
38.37	     nbFailedAssignments=2238  nbBacktracks=3876  nbVisitedNodes=12435  nbRestartNogoods=31
38.37	       =>  wckTime=6.256  cpuTime=6.17  mem=16M831
41.35	   
41.35	   search
41.35	     run=13  nbConstraintChecks=24073302  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9449
41.35	     nbFailedAssignments=3400  nbBacktracks=5824  nbVisitedNodes=18666  nbRestartNogoods=35
41.35	       =>  wckTime=9.236  cpuTime=9.15  mem=16M831
46.15	   
46.15	   search
46.16	     run=14  nbConstraintChecks=36521535  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14287
46.16	     nbFailedAssignments=5303  nbBacktracks=8745  nbVisitedNodes=28328  nbRestartNogoods=40
46.16	       =>  wckTime=14.038  cpuTime=13.94  mem=16M831
52.57	   
52.57	   search
52.57	     run=15  nbConstraintChecks=53761440  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21045
52.57	     nbFailedAssignments=7669  nbBacktracks=13123  nbVisitedNodes=41830  nbRestartNogoods=44
52.57	       =>  wckTime=20.457  cpuTime=20.36  mem=16M831
63.40	   
63.40	   search
63.40	     run=16  nbConstraintChecks=81872805  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=31832
63.40	     nbFailedAssignments=11876  nbBacktracks=19693  nbVisitedNodes=63393  nbRestartNogoods=49
63.40	       =>  wckTime=31.286  cpuTime=31.18  mem=16M831
78.99	   
78.99	   search
78.99	     run=17  nbConstraintChecks=123591302  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=48011
78.99	     nbFailedAssignments=18193  nbBacktracks=29545  nbVisitedNodes=95740  nbRestartNogoods=56
78.99	       =>  wckTime=46.87  cpuTime=46.76  mem=16M831
102.48	   
102.48	   search
102.48	     run=18  nbConstraintChecks=183972401  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=71304
102.48	     nbFailedAssignments=26693  nbBacktracks=44323  nbVisitedNodes=142308  nbRestartNogoods=62
102.48	       =>  wckTime=70.359  cpuTime=70.23  mem=16M831
138.67	   
138.67	   search
138.67	     run=19  nbConstraintChecks=278226793  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=108300
138.67	     nbFailedAssignments=41504  nbBacktracks=66491  nbVisitedNodes=216283  nbRestartNogoods=68
138.67	       =>  wckTime=106.555  cpuTime=106.4  mem=16M831
194.75	   
194.75	   search
194.75	     run=20  nbConstraintChecks=422093932  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=162872
194.75	     nbFailedAssignments=62818  nbBacktracks=99743  nbVisitedNodes=325346  nbRestartNogoods=72
194.75	       =>  wckTime=162.632  cpuTime=162.45  mem=16M831
280.55	   
280.55	   search
280.55	     run=21  nbConstraintChecks=641074984  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=246613
280.55	     nbFailedAssignments=96672  nbBacktracks=149622  nbVisitedNodes=492724  nbRestartNogoods=80
280.55	       =>  wckTime=248.43  cpuTime=248.2  mem=16M831
401.11	   
401.11	   search
401.11	     run=22  nbConstraintChecks=952165856  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=365468
401.11	     nbFailedAssignments=144219  nbBacktracks=220931  nbVisitedNodes=730229  nbRestartNogoods=87
401.11	       =>  wckTime=368.997  cpuTime=368.68  mem=16M831
401.11	   
401.11	   global
401.11	     nbConstraintChecks=952167050  nbRestartNogoods=87  solvingWckTime=368.997  solvingCpuTime=368.68  expiredTime=no
401.11	     totalExploration=yes  nbFoundSolutions=1  globalCpuTime=400.36
401.11	       =>  wckTime=400.815  cpuTime=400.32  mem=16M831
401.12	
401.12	s OPTIMUM FOUND
401.12	v 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 0 0 1 0 
401.12	   
401.12	   totalWckTime=400.89  totalCpuTime=400.36

Verifier Data (download as text)

272 unsatisfied constraints, 428 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/node18/watcher-278489-1169288428 -o ROOT/results/node18/solver-278489-1169288428 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278489-1169288428/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.92 1.06 1.37 3/78 14387
/proc/meminfo: memFree=1301088/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=1784 CPUtime=0
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 152 0 0 0 0 0 0 0 19 0 1 0 277237516 1826816 124 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 134533553 0 0 4096 0 0 0 0 17 1 0 0
/proc/14386/statm: 446 133 99 14 0 91 0

[startup+0.105051 s]
/proc/loadavg: 0.92 1.06 1.37 3/78 14387
/proc/meminfo: memFree=1301088/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=914988 CPUtime=0.08
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 3019 0 1 0 7 1 0 0 17 0 8 0 277237516 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153801667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14386/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513091 s]
/proc/loadavg: 0.92 1.06 1.37 3/78 14387
/proc/meminfo: memFree=1301088/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915332 CPUtime=0.49
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 6542 0 1 0 46 3 0 0 16 0 8 0 277237516 937299968 6281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072929762 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14386/statm: 228833 6281 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33616 s]
/proc/loadavg: 0.92 1.06 1.37 2/85 14394
/proc/meminfo: memFree=1282600/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=1.31
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 7292 0 1 0 116 15 0 0 17 0 8 0 277237516 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 7030 2476 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.13
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 341 0 0 0 13 0 0 0 16 0 8 0 277237524 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460

[startup+2.98132 s]
/proc/loadavg: 0.92 1.06 1.37 2/85 14394
/proc/meminfo: memFree=1282536/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=2.96
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 7293 0 1 0 253 43 0 0 18 0 8 0 277237516 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8323449 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 7030 2476 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915464 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937435136 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.13
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 341 0 0 0 13 0 0 0 16 0 8 0 277237524 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 7030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 7030 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) 915460

[startup+6.25964 s]
/proc/loadavg: 0.93 1.06 1.37 2/85 14394
/proc/meminfo: memFree=1282472/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=6.23
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 7295 0 1 0 524 99 0 0 22 0 8 0 277237516 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 7032 2476 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915464 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937435136 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.13
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 343 0 0 0 13 0 0 0 17 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460

[startup+12.7423 s]
/proc/loadavg: 0.93 1.06 1.37 2/85 14394
/proc/meminfo: memFree=1282488/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=12.71
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 7295 0 1 0 1070 201 0 0 25 0 8 0 277237516 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 7032 2476 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.13
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915460

[startup+25.5855 s]
/proc/loadavg: 0.95 1.05 1.36 2/85 14394
/proc/meminfo: memFree=1282488/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=25.55
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 7295 0 1 0 2144 411 0 0 25 0 8 0 277237516 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 7032 2476 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.13
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 7032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915460

[startup+51.283 s]
/proc/loadavg: 0.96 1.05 1.35 2/85 14396
/proc/meminfo: memFree=1275128/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=51.21
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 9188 0 1 0 4605 516 0 0 25 0 8 0 277237516 937431040 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073719738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 8921 2528 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.23
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 402 0 0 0 23 0 0 0 16 0 8 0 277237524 937431040 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915460

[startup+102.567 s]
/proc/loadavg: 0.98 1.04 1.33 2/85 14396
/proc/meminfo: memFree=1275192/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=102.48
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 9199 0 1 0 9731 517 0 0 25 0 8 0 277237516 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828685 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 8931 2528 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.23
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 403 0 0 0 23 0 0 0 16 0 8 0 277237524 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.48
Current children cumulated vsize (KiB) 915460

[startup+162.59 s]
/proc/loadavg: 0.99 1.03 1.31 2/85 14396
/proc/meminfo: memFree=1275128/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=162.46
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 9201 0 1 0 15729 517 0 0 25 0 8 0 277237516 937431040 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828501 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 8933 2528 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.23
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 403 0 0 0 23 0 0 0 15 0 8 0 277237524 937431040 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.46
Current children cumulated vsize (KiB) 915460

[startup+222.613 s]
/proc/loadavg: 0.99 1.02 1.29 2/85 14396
/proc/meminfo: memFree=1275192/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=222.45
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 9205 0 1 0 21728 517 0 0 25 0 8 0 277237516 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 8936 2528 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.23
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 403 0 0 0 23 0 0 0 15 0 8 0 277237524 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.45
Current children cumulated vsize (KiB) 915460

[startup+282.634 s]
/proc/loadavg: 1.07 1.03 1.27 2/85 14396
/proc/meminfo: memFree=1275128/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=282.44
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 9207 0 1 0 27727 517 0 0 25 0 8 0 277237516 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700006 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 8938 2528 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.23
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 403 0 0 0 23 0 0 0 15 0 8 0 277237524 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.44
Current children cumulated vsize (KiB) 915460

[startup+342.661 s]
/proc/loadavg: 1.03 1.03 1.25 2/85 14396
/proc/meminfo: memFree=1275128/2055920 swapFree=4192812/4192956
[pid=14386] ppid=14384 vsize=915460 CPUtime=342.41
/proc/14386/stat : 14386 (java) R 14384 14386 13648 0 -1 0 9207 0 1 0 33724 517 0 0 25 0 8 0 277237516 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14386/statm: 228865 8938 2528 14 0 215335 0
[pid=14386/tid=14388] ppid=14384 vsize=915460 CPUtime=0.02
/proc/14386/task/14388/stat : 14388 (java) S 14384 14386 13648 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 277237520 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14386/tid=14389] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14389/stat : 14389 (java) S 14384 14386 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14390] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14390/stat : 14390 (java) S 14384 14386 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277237521 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14391] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14391/stat : 14391 (java) S 14384 14386 13648 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 277237524 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14392] ppid=14384 vsize=915460 CPUtime=0.23
/proc/14386/task/14392/stat : 14392 (java) S 14384 14386 13648 0 -1 64 403 0 0 0 23 0 0 0 15 0 8 0 277237524 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14393] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14393/stat : 14393 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277237524 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14386/tid=14394] ppid=14384 vsize=915460 CPUtime=0
/proc/14386/task/14394/stat : 14394 (java) S 14384 14386 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277237524 937431040 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.41
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 401.161
CPU time (s): 400.857
CPU user time (s): 395.677
CPU system time (s): 5.18021
CPU usage (%): 99.9242
Max. virtual memory (cumulated for all children) (KiB): 915976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 395.677
system time used= 5.18021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9304
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= 9044
involuntary context switches= 17296

runsolver used 0.437933 s user time and 0.997848 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Sat Jan 20 10:20:28 UTC 2007


IDJOB= 278489
IDBENCH= 8449
IDSOLVER= 69
FILE ID= node18/278489-1169288428

PBS_JOBID= 3609540

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-2200-970321_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278489-1169288428/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-278489-1169288428 -o ROOT/results/node18/solver-278489-1169288428 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278489-1169288428/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3b936b9423c4c588895e36b33a8088ef

RANDOM SEED= 36213269

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.231
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.231
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:       1301504 kB
Buffers:         53412 kB
Cached:         566340 kB
SwapCached:          0 kB
Active:         246684 kB
Inactive:       428516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1301504 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1700 kB
Writeback:           0 kB
Mapped:          74444 kB
Slab:            64800 kB
Committed_AS:  8688464 kB
PageTables:       1720 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 node18 on Sat Jan 20 10:27:09 UTC 2007