Trace number 281045

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 138.849 140.16

General information on the benchmark

NameMaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-3_ext.xml
MD5SUMd90a4818df73725a7a407391d0b230e5
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints97
Best CPU time to get the best result obtained on this benchmark4.05738
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints101
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension101
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.38	   
0.38	Abscon 109 (November, 2006)
0.38	   
0.38	   configuration
0.38	     name=pfc.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/281045-1169309574/unknown.xml
0.44	   
0.44	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.48	     nbVariables=40  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.48	       =>  wckTime=0.097  cpuTime=0.07  mem=6M910
0.48	   
0.48	   relations being loaded...
0.53	   
0.53	   constraints being loaded...
0.58	     nbConstraints=101  nbRelationTypes=101  nbExtensionStructures=101  nbSharedExtensionStructures=0
0.58	     nbConflictsStructures=101  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1238  maxDegree=12
0.58	     maxArity=2
0.58	       =>  wckTime=0.198  cpuTime=0.13  mem=8M860
0.62	   
0.62	   solver LocalSearchSolver being built... 
0.66	       =>  wckTime=0.277  cpuTime=0.17  mem=5M493
0.66	
0.67	s SATISFIABLE
0.67	o 44
0.67	c 57
0.67	o 49
0.67	c 52
0.67	o 53
0.67	c 48
0.67	o 56
0.67	c 45
0.67	o 59
0.67	c 42
0.67	o 62
0.67	c 39
0.67	o 65
0.67	c 36
0.67	o 66
0.67	c 35
0.67	o 67
0.67	c 34
0.68	o 69
0.68	c 32
0.68	o 71
0.68	c 30
0.68	o 73
0.68	c 28
0.68	o 74
0.68	c 27
0.68	o 75
0.68	c 26
0.68	o 76
0.68	c 25
0.68	o 77
0.68	c 24
0.68	o 79
0.68	c 22
0.68	o 80
0.68	c 21
0.68	o 81
0.68	c 20
0.68	o 82
0.68	c 19
0.68	o 83
0.68	c 18
0.68	o 84
0.68	c 17
0.69	o 85
0.69	c 16
0.69	o 86
0.69	c 15
0.69	o 87
0.69	c 14
0.69	o 88
0.69	c 13
0.69	o 89
0.69	c 12
0.69	o 90
0.69	c 11
0.70	o 91
0.70	c 10
0.70	o 92
0.70	c 9
0.72	o 93
0.72	c 8
0.72	o 94
0.72	c 7
0.72	o 95
0.72	c 6
0.75	o 96
0.75	c 5
2.10	   
2.10	   search
2.10	     run=0  nbConstraintChecks=6208424  nbAssignments=10000
2.10	       =>  wckTime=1.443  cpuTime=1.41  mem=5M493
3.35	   
3.36	   search
3.36	     run=1  nbConstraintChecks=11889761  nbAssignments=20000
3.36	       =>  wckTime=2.695  cpuTime=2.65  mem=5M493
4.67	   
4.67	   search
4.67	     run=2  nbConstraintChecks=18229984  nbAssignments=30000
4.67	       =>  wckTime=4.013  cpuTime=3.96  mem=5M493
6.01	   
6.01	   search
6.01	     run=3  nbConstraintChecks=24731144  nbAssignments=40000
6.01	       =>  wckTime=5.354  cpuTime=5.29  mem=5M493
7.30	   
7.31	   search
7.31	     run=4  nbConstraintChecks=30811546  nbAssignments=50000
7.31	       =>  wckTime=6.645  cpuTime=6.57  mem=5M493
8.65	   
8.65	   search
8.65	     run=5  nbConstraintChecks=37240535  nbAssignments=60000
8.65	       =>  wckTime=7.988  cpuTime=7.9  mem=5M493
9.94	   
9.94	   search
9.94	     run=6  nbConstraintChecks=43359213  nbAssignments=70000
9.94	       =>  wckTime=9.275  cpuTime=9.17  mem=5M493
11.31	   
11.31	   search
11.31	     run=7  nbConstraintChecks=49949737  nbAssignments=80000
11.31	       =>  wckTime=10.652  cpuTime=10.52  mem=5M493
12.61	   
12.61	   search
12.61	     run=8  nbConstraintChecks=56220828  nbAssignments=90000
12.61	       =>  wckTime=11.954  cpuTime=11.81  mem=5M493
13.93	   
13.93	   search
13.93	     run=9  nbConstraintChecks=62586595  nbAssignments=100000
13.93	       =>  wckTime=13.272  cpuTime=13.12  mem=5M493
15.23	   
15.23	   search
15.23	     run=10  nbConstraintChecks=68834871  nbAssignments=110000
15.23	       =>  wckTime=14.573  cpuTime=14.41  mem=5M493
16.58	   
16.58	   search
16.58	     run=11  nbConstraintChecks=75313631  nbAssignments=120000
16.58	       =>  wckTime=15.915  cpuTime=15.73  mem=5M493
17.87	   
17.87	   search
17.87	     run=12  nbConstraintChecks=81559018  nbAssignments=130000
17.87	       =>  wckTime=17.21  cpuTime=17.02  mem=5M493
19.21	   
19.21	   search
19.21	     run=13  nbConstraintChecks=88051538  nbAssignments=140000
19.21	       =>  wckTime=18.548  cpuTime=18.35  mem=5M493
20.52	   
20.52	   search
20.52	     run=14  nbConstraintChecks=94200603  nbAssignments=150000
20.52	       =>  wckTime=19.855  cpuTime=19.65  mem=5M493
21.91	   
21.91	   search
21.91	     run=15  nbConstraintChecks=101046105  nbAssignments=160000
21.91	       =>  wckTime=21.246  cpuTime=21.03  mem=5M493
23.18	   
23.18	   search
23.18	     run=16  nbConstraintChecks=106986764  nbAssignments=170000
23.18	       =>  wckTime=22.518  cpuTime=22.29  mem=5M493
24.54	   
24.54	   search
24.54	     run=17  nbConstraintChecks=113571207  nbAssignments=180000
24.54	       =>  wckTime=23.877  cpuTime=23.63  mem=5M493
25.33	o 97
25.33	c 4
25.85	   
25.85	   search
25.85	     run=18  nbConstraintChecks=119849738  nbAssignments=190000
25.85	       =>  wckTime=25.195  cpuTime=24.94  mem=5M493
27.22	   
27.22	   search
27.22	     run=19  nbConstraintChecks=126506705  nbAssignments=200000
27.22	       =>  wckTime=26.561  cpuTime=26.3  mem=5M493
28.52	   
28.52	   search
28.52	     run=20  nbConstraintChecks=132672406  nbAssignments=210000
28.52	       =>  wckTime=27.863  cpuTime=27.58  mem=5M493
29.92	   
29.92	   search
29.92	     run=21  nbConstraintChecks=139731256  nbAssignments=220000
29.92	       =>  wckTime=29.258  cpuTime=28.98  mem=5M493
31.22	   
31.22	   search
31.22	     run=22  nbConstraintChecks=145935022  nbAssignments=230000
31.22	       =>  wckTime=30.558  cpuTime=30.26  mem=5M493
32.55	   
32.55	   search
32.55	     run=23  nbConstraintChecks=152412501  nbAssignments=240000
32.55	       =>  wckTime=31.891  cpuTime=31.59  mem=5M493
33.86	   
33.86	   search
33.86	     run=24  nbConstraintChecks=158748457  nbAssignments=250000
33.86	       =>  wckTime=33.198  cpuTime=32.89  mem=5M493
35.20	   
35.20	   search
35.20	     run=25  nbConstraintChecks=165188451  nbAssignments=260000
35.20	       =>  wckTime=34.541  cpuTime=34.2  mem=5M493
36.51	   
36.51	   search
36.51	     run=26  nbConstraintChecks=171545496  nbAssignments=270000
36.51	       =>  wckTime=35.851  cpuTime=35.51  mem=5M493
37.86	   
37.86	   search
37.86	     run=27  nbConstraintChecks=178137707  nbAssignments=280000
37.86	       =>  wckTime=37.198  cpuTime=36.85  mem=5M493
39.17	   
39.17	   search
39.17	     run=28  nbConstraintChecks=184362144  nbAssignments=290000
39.17	       =>  wckTime=38.506  cpuTime=38.14  mem=5M493
40.52	   
40.52	   search
40.52	     run=29  nbConstraintChecks=190837893  nbAssignments=300000
40.52	       =>  wckTime=39.857  cpuTime=39.49  mem=5M493
41.87	   
41.87	   search
41.87	     run=30  nbConstraintChecks=197356422  nbAssignments=310000
41.87	       =>  wckTime=41.208  cpuTime=40.82  mem=5M493
43.17	   
43.17	   search
43.17	     run=31  nbConstraintChecks=203458701  nbAssignments=320000
43.17	       =>  wckTime=42.511  cpuTime=42.12  mem=5M493
44.50	   
44.50	   search
44.50	     run=32  nbConstraintChecks=209918149  nbAssignments=330000
44.50	       =>  wckTime=43.842  cpuTime=43.43  mem=5M493
45.84	   
45.84	   search
45.84	     run=33  nbConstraintChecks=216366907  nbAssignments=340000
45.84	       =>  wckTime=45.181  cpuTime=44.76  mem=5M493
47.12	   
47.12	   search
47.12	     run=34  nbConstraintChecks=222305608  nbAssignments=350000
47.12	       =>  wckTime=46.464  cpuTime=46.03  mem=5M493
48.46	   
48.46	   search
48.46	     run=35  nbConstraintChecks=228673981  nbAssignments=360000
48.46	       =>  wckTime=47.803  cpuTime=47.37  mem=5M493
49.75	   
49.75	   search
49.75	     run=36  nbConstraintChecks=234778389  nbAssignments=370000
49.75	       =>  wckTime=49.09  cpuTime=48.64  mem=5M493
51.12	   
51.12	   search
51.12	     run=37  nbConstraintChecks=241507513  nbAssignments=380000
51.12	       =>  wckTime=50.459  cpuTime=49.99  mem=5M493
52.41	   
52.41	   search
52.41	     run=38  nbConstraintChecks=247602908  nbAssignments=390000
52.41	       =>  wckTime=51.747  cpuTime=51.28  mem=5M493
53.74	   
53.74	   search
53.74	     run=39  nbConstraintChecks=254095064  nbAssignments=400000
53.74	       =>  wckTime=53.077  cpuTime=52.59  mem=5M493
55.05	   
55.05	   search
55.05	     run=40  nbConstraintChecks=260413021  nbAssignments=410000
55.05	       =>  wckTime=54.389  cpuTime=53.9  mem=5M493
55.61	   
55.61	   search
55.61	     run=41  nbConstraintChecks=263103478  nbAssignments=413990
55.61	       =>  wckTime=54.954  cpuTime=54.44  mem=5M493
55.62	   
55.62	   global
55.62	     nbConstraintChecks=263103478  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
55.62	     solvingWckTime=54.952  solvingCpuTime=54.43  expiredTime=no  totalExploration=no  nbFoundSolutions=0
55.62	     globalCpuTime=54.66
55.62	       =>  wckTime=55.232  cpuTime=54.61  mem=5M493
55.62	   
55.62	   solver IterativeSystematicSolver being built... 
55.74	       =>  wckTime=55.358  cpuTime=54.71  mem=16M630
55.75	   
55.75	   preprocessing
55.75	     nbConstraintChecks=100  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
55.75	     detectedInconsistency=no
55.75	       =>  wckTime=0.0030  cpuTime=0.0  mem=16M630
55.82	   
55.82	   search
55.82	     run=0  nbConstraintChecks=75890  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=57
55.82	     nbFailedAssignments=34  nbBacktracks=10  nbVisitedNodes=102  nbRestartNogoods=0
55.82	       =>  wckTime=0.071  cpuTime=0.05  mem=16M630
55.89	   
55.89	   search
55.89	     run=1  nbConstraintChecks=268819  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=174
55.89	     nbFailedAssignments=129  nbBacktracks=25  nbVisitedNodes=328  nbRestartNogoods=25
55.89	       =>  wckTime=0.147  cpuTime=0.12  mem=16M630
55.99	   
55.99	   search
55.99	     run=2  nbConstraintChecks=471416  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=310
55.99	     nbFailedAssignments=235  nbBacktracks=47  nbVisitedNodes=591  nbRestartNogoods=37
55.99	       =>  wckTime=0.249  cpuTime=0.21  mem=16M630
56.12	   
56.12	   search
56.12	     run=3  nbConstraintChecks=788101  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=536
56.12	     nbFailedAssignments=422  nbBacktracks=80  nbVisitedNodes=1036  nbRestartNogoods=56
56.12	       =>  wckTime=0.378  cpuTime=0.34  mem=16M630
56.31	   
56.31	   search
56.31	     run=4  nbConstraintChecks=1321890  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=873
56.31	     nbFailedAssignments=703  nbBacktracks=130  nbVisitedNodes=1702  nbRestartNogoods=69
56.31	       =>  wckTime=0.568  cpuTime=0.53  mem=16M630
56.49	   
56.49	   search
56.49	     run=5  nbConstraintChecks=1847236  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1254
56.49	     nbFailedAssignments=996  nbBacktracks=205  nbVisitedNodes=2451  nbRestartNogoods=81
56.49	       =>  wckTime=0.745  cpuTime=0.7  mem=16M630
57.00	   
57.00	   search
57.00	     run=6  nbConstraintChecks=2989100  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2014
57.00	     nbFailedAssignments=1636  nbBacktracks=318  nbVisitedNodes=3958  nbRestartNogoods=103
57.00	       =>  wckTime=1.256  cpuTime=1.19  mem=16M630
57.66	   
57.66	   search
57.66	     run=7  nbConstraintChecks=4764623  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3136
57.66	     nbFailedAssignments=2580  nbBacktracks=488  nbVisitedNodes=6187  nbRestartNogoods=113
57.66	       =>  wckTime=1.921  cpuTime=1.85  mem=16M630
58.04	   
58.04	   search
58.04	     run=8  nbConstraintChecks=5823234  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3839
58.04	     nbFailedAssignments=3013  nbBacktracks=745  nbVisitedNodes=7575  nbRestartNogoods=149
58.04	       =>  wckTime=2.298  cpuTime=2.22  mem=16M630
58.99	   
58.99	   search
58.99	     run=9  nbConstraintChecks=8539819  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5599
58.99	     nbFailedAssignments=4377  nbBacktracks=1130  nbVisitedNodes=11081  nbRestartNogoods=188
58.99	       =>  wckTime=3.244  cpuTime=3.16  mem=16M630
59.85	   
59.85	   search
59.85	     run=10  nbConstraintChecks=10737086  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7031
59.85	     nbFailedAssignments=5217  nbBacktracks=1707  nbVisitedNodes=13914  nbRestartNogoods=216
59.85	       =>  wckTime=4.11  cpuTime=4.01  mem=16M630
62.29	   
62.29	   search
62.29	     run=11  nbConstraintChecks=17060358  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11156
62.29	     nbFailedAssignments=8474  nbBacktracks=2571  nbVisitedNodes=22115  nbRestartNogoods=264
62.29	       =>  wckTime=6.549  cpuTime=6.43  mem=16M630
64.95	   
64.95	   search
64.95	     run=12  nbConstraintChecks=24817375  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=16406
64.95	     nbFailedAssignments=12411  nbBacktracks=3868  nbVisitedNodes=32557  nbRestartNogoods=276
64.95	       =>  wckTime=9.21  cpuTime=9.07  mem=16M630
68.03	   
68.03	   search
68.03	     run=13  nbConstraintChecks=33182897  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21606
68.03	     nbFailedAssignments=15649  nbBacktracks=5814  nbVisitedNodes=42902  nbRestartNogoods=326
68.03	       =>  wckTime=12.286  cpuTime=12.12  mem=16M630
72.28	   
72.28	   search
72.28	     run=14  nbConstraintChecks=44625893  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=29825
72.28	     nbFailedAssignments=20944  nbBacktracks=8733  nbVisitedNodes=59314  nbRestartNogoods=341
72.28	       =>  wckTime=16.538  cpuTime=16.34  mem=16M630
78.37	   
78.37	   search
78.37	     run=15  nbConstraintChecks=61849684  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=43147
78.37	     nbFailedAssignments=29868  nbBacktracks=13113  nbVisitedNodes=85860  nbRestartNogoods=357
78.37	       =>  wckTime=22.624  cpuTime=22.38  mem=16M630
86.97	   
86.97	   search
86.97	     run=16  nbConstraintChecks=84879888  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=61847
86.97	     nbFailedAssignments=41991  nbBacktracks=19682  nbVisitedNodes=123137  nbRestartNogoods=380
86.97	       =>  wckTime=31.231  cpuTime=30.91  mem=16M630
103.08	   
103.08	   search
103.08	     run=17  nbConstraintChecks=122840493  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=91281
103.08	     nbFailedAssignments=61562  nbBacktracks=29535  nbVisitedNodes=181675  nbRestartNogoods=400
103.08	       =>  wckTime=47.334  cpuTime=46.87  mem=16M630
125.13	   
125.13	   search
125.13	     run=18  nbConstraintChecks=168819026  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=126683
125.13	     nbFailedAssignments=82174  nbBacktracks=44314  nbVisitedNodes=251612  nbRestartNogoods=430
125.13	       =>  wckTime=69.385  cpuTime=68.75  mem=16M630
140.11	   
140.11	   search
140.11	     run=19  nbConstraintChecks=200314480  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=151236
140.11	     nbFailedAssignments=95721  nbBacktracks=55321  nbVisitedNodes=300143  nbRestartNogoods=452
140.11	       =>  wckTime=84.368  cpuTime=83.61  mem=16M630
140.11	   
140.11	   global
140.11	     nbConstraintChecks=200314580  nbRestartNogoods=452  solvingWckTime=84.37  solvingCpuTime=83.61  expiredTime=no
140.11	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=138.37
140.11	       =>  wckTime=139.729  cpuTime=138.32  mem=16M630
140.12	
140.12	s OPTIMUM FOUND
140.12	v 5 0 4 5 6 3 5 5 0 9 5 1 1 1 4 7 1 5 9 8 9 8 5 5 9 0 6 9 1 3 6 3 7 7 1 5 2 9 8 1 
140.12	   
140.12	   totalWckTime=139.804  totalCpuTime=138.37

Verifier Data (download as text)

4 unsatisfied constraints, 97 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/node17/watcher-281045-1169309574 -o ROOT/results/node17/solver-281045-1169309574 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281045-1169309574/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
/proc/loadavg: 1.83 1.94 1.98 4/87 23746
/proc/meminfo: memFree=1295488/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=18540 CPUtime=0
/proc/23745/stat : 23745 (runsolver) R 23743 23513 23513 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 1 0 279352222 18984960 277 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 4232163 0 0 4096 24578 0 0 0 17 0 0 0
/proc/23745/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.107244 s]
/proc/loadavg: 1.83 1.94 1.98 4/87 23746
/proc/meminfo: memFree=1295488/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=47976 CPUtime=0
/proc/23745/stat : 23745 (java) D 23743 23745 23513 0 -1 0 1223 0 1 0 0 0 0 0 20 0 1 0 279352222 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/23745/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976

[startup+0.517288 s]
/proc/loadavg: 1.83 1.94 1.98 4/87 23746
/proc/meminfo: memFree=1295488/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915332 CPUtime=0.41
/proc/23745/stat : 23745 (java) R 23743 23745 23513 0 -1 0 6176 0 1 0 38 3 0 0 24 0 8 0 279352222 937299968 5915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926667 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228833 5915 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915332

[startup+1.34537 s]
/proc/loadavg: 1.85 1.94 1.98 3/94 23753
/proc/meminfo: memFree=1277768/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915444 CPUtime=1.22
/proc/23745/stat : 23745 (java) R 23743 23745 23513 0 -1 0 7100 0 1 0 101 21 0 0 25 0 8 0 279352222 937414656 6838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228861 6838 2476 14 0 215331 0
[pid=23745/tid=23747] ppid=23743 vsize=915444 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 23513 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279352235 937414656 6838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 23513 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279352235 937414656 6838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279352235 937414656 6838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 23513 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279352238 937414656 6838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915444 CPUtime=0.12
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 23513 0 -1 64 332 0 0 0 12 0 0 0 16 0 8 0 279352238 937414656 6838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279352238 937414656 6838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279352238 937414656 6838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915444

[startup+2.98554 s]
/proc/loadavg: 1.85 1.94 1.98 3/94 23753
/proc/meminfo: memFree=1277704/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915444 CPUtime=2.85
/proc/23745/stat : 23745 (java) R 23743 23745 23513 0 -1 0 7103 0 1 0 220 65 0 0 25 0 8 0 279352222 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073670599 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228861 6840 2476 14 0 215331 0
[pid=23745/tid=23747] ppid=23743 vsize=915444 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 23513 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279352235 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 23513 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279352235 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279352235 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 23513 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279352238 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915444 CPUtime=0.13
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 23513 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 279352238 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279352238 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279352238 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915444

[startup+6.26488 s]
/proc/loadavg: 1.85 1.94 1.98 3/94 23753
/proc/meminfo: memFree=1277704/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915444 CPUtime=6.1
/proc/23745/stat : 23745 (java) R 23743 23745 23513 0 -1 0 7103 0 1 0 456 154 0 0 25 0 8 0 279352222 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073666645 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228861 6840 2476 14 0 215331 0
[pid=23745/tid=23747] ppid=23743 vsize=915444 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 23513 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279352235 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 23513 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279352235 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279352235 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 23513 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279352238 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915444 CPUtime=0.13
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 23513 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 279352238 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279352238 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279352238 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915444

[startup+12.7496 s]
/proc/loadavg: 1.87 1.94 1.98 3/94 23753
/proc/meminfo: memFree=1277712/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915448 CPUtime=12.52
/proc/23745/stat : 23745 (java) R 23743 23745 23513 0 -1 0 7103 0 1 0 913 339 0 0 25 0 8 0 279352222 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228862 6840 2476 14 0 215332 0
[pid=23745/tid=23747] ppid=23743 vsize=915448 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 23513 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279352235 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 23513 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279352235 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279352235 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 23513 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279352238 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915448 CPUtime=0.13
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 23513 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 279352238 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279352238 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279352238 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915448

[startup+25.5979 s]
/proc/loadavg: 1.89 1.94 1.98 3/94 23753
/proc/meminfo: memFree=1277840/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915444 CPUtime=25.26
/proc/23745/stat : 23745 (java) R 23743 23745 23513 0 -1 0 7104 0 1 0 1827 699 0 0 25 0 8 0 279352222 937414656 6841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073666682 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228861 6841 2476 14 0 215331 0
[pid=23745/tid=23747] ppid=23743 vsize=915444 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 23513 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279352235 937414656 6841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 23513 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279352235 937414656 6841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279352235 937414656 6841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 23513 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279352238 937414656 6841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915444 CPUtime=0.13
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 23513 0 -1 64 335 0 0 0 13 0 0 0 17 0 8 0 279352238 937414656 6841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279352238 937414656 6841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279352238 937414656 6841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915444

[startup+51.2936 s]
/proc/loadavg: 1.93 1.95 1.98 3/94 23753
/proc/meminfo: memFree=1277840/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915448 CPUtime=50.75
/proc/23745/stat : 23745 (java) R 23743 23745 23513 0 -1 0 7110 0 1 0 3657 1418 0 0 25 0 8 0 279352222 937418752 6847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228862 6847 2476 14 0 215332 0
[pid=23745/tid=23747] ppid=23743 vsize=915448 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 23513 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279352235 937418752 6847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 23513 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279352235 937418752 6847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279352235 937418752 6847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 23513 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279352238 937418752 6847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915448 CPUtime=0.13
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 23513 0 -1 64 341 0 0 0 13 0 0 0 16 0 8 0 279352238 937418752 6847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279352238 937418752 6847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279352238 937418752 6847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915448

[startup+102.584 s]
/proc/loadavg: 2.05 1.97 1.98 3/94 23753
/proc/meminfo: memFree=1270352/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915444 CPUtime=101.59
/proc/23745/stat : 23745 (java) R 23743 23745 23513 0 -1 0 9079 0 1 0 8617 1542 0 0 25 0 8 0 279352222 937414656 8808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805423 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228861 8808 2527 14 0 215331 0
[pid=23745/tid=23747] ppid=23743 vsize=915444 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 23513 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279352235 937414656 8808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 23513 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279352235 937414656 8808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279352235 937414656 8808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 23513 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279352238 937414656 8808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915444 CPUtime=0.23
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 23513 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 279352238 937414656 8808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279352238 937414656 8808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279352238 937414656 8808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 140.16
CPU time (s): 138.849
CPU user time (s): 123.413
CPU system time (s): 15.4357
CPU usage (%): 99.0643
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.413
system time used= 15.4357
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9182
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= 4043
involuntary context switches= 8304

runsolver used 0.145977 s user time and 0.382941 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Jan 20 16:12:54 UTC 2007


IDJOB= 281045
IDBENCH= 12046
IDSOLVER= 69
FILE ID= node17/281045-1169309574

PBS_JOBID= 3609965

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseLoose/vcsp-40-10-13-60-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281045-1169309574/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-281045-1169309574 -o ROOT/results/node17/solver-281045-1169309574 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281045-1169309574/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d90a4818df73725a7a407391d0b230e5

RANDOM SEED= 999551052

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.236
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.236
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:       1296168 kB
Buffers:         48956 kB
Cached:         510548 kB
SwapCached:          0 kB
Active:         330232 kB
Inactive:       352556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1296168 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1916 kB
Writeback:           0 kB
Mapped:         143476 kB
Slab:            61688 kB
Committed_AS:  8958488 kB
PageTables:       2388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node17 on Sat Jan 20 16:15:15 UTC 2007