Trace number 281153

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 271.714 272.83

General information on the benchmark

NameMaxCSP/randomMaxCSP/completeLoose/
vcsp-25-10-100-18-19_ext.xml
MD5SUM1f80a6eb2d628e175ceaa99364140f43
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints298
Best CPU time to get the best result obtained on this benchmark22.1826
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints300
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension300
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=pfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/281153-1169310236/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.38	     nbVariables=25  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.38	       =>  wckTime=0.094  cpuTime=0.07  mem=6M910
0.38	   
0.38	   relations being loaded...
0.45	   
0.45	   constraints being loaded...
0.55	     nbConstraints=300  nbRelationTypes=300  nbExtensionStructures=300  nbSharedExtensionStructures=0
0.55	     nbConflictsStructures=300  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=5577  maxDegree=24
0.55	     maxArity=2
0.55	       =>  wckTime=0.259  cpuTime=0.17  mem=9M835
0.59	   
0.59	   solver LocalSearchSolver being built... 
0.63	       =>  wckTime=0.339  cpuTime=0.22  mem=5M671
0.63	
0.63	s SATISFIABLE
0.63	o 253
0.63	c 47
0.63	o 256
0.63	c 44
0.63	o 260
0.63	c 40
0.64	o 264
0.64	c 36
0.64	o 267
0.64	c 33
0.64	o 269
0.64	c 31
0.64	o 271
0.64	c 29
0.64	o 273
0.64	c 27
0.64	o 274
0.64	c 26
0.64	o 277
0.64	c 23
0.64	o 278
0.64	c 22
0.64	o 279
0.64	c 21
0.64	o 282
0.64	c 18
0.64	o 283
0.64	c 17
0.64	o 284
0.64	c 16
0.64	o 286
0.64	c 14
0.65	o 287
0.65	c 13
0.65	o 288
0.65	c 12
0.65	o 289
0.65	c 11
0.65	o 290
0.65	c 10
0.65	o 291
0.65	c 9
0.65	o 292
0.65	c 8
0.65	o 293
0.65	c 7
0.66	o 294
0.66	c 6
0.66	o 295
0.66	c 5
0.67	o 296
0.67	c 4
0.68	o 297
0.68	c 3
0.81	o 298
0.81	c 2
2.55	   
2.55	   search
2.55	     run=0  nbConstraintChecks=12334538  nbAssignments=10000
2.55	       =>  wckTime=1.92  cpuTime=1.89  mem=5M671
4.44	   
4.44	   search
4.44	     run=1  nbConstraintChecks=25126209  nbAssignments=20000
4.44	       =>  wckTime=3.81  cpuTime=3.77  mem=5M671
6.28	   
6.28	   search
6.28	     run=2  nbConstraintChecks=37457211  nbAssignments=30000
6.28	       =>  wckTime=5.649  cpuTime=5.59  mem=5M671
8.15	   
8.15	   search
8.15	     run=3  nbConstraintChecks=50092863  nbAssignments=40000
8.15	       =>  wckTime=7.527  cpuTime=7.47  mem=5M671
10.02	   
10.02	   search
10.02	     run=4  nbConstraintChecks=62692964  nbAssignments=50000
10.02	       =>  wckTime=9.389  cpuTime=9.33  mem=5M671
11.84	   
11.84	   search
11.84	     run=5  nbConstraintChecks=75043631  nbAssignments=60000
11.84	       =>  wckTime=11.214  cpuTime=11.14  mem=5M671
13.65	   
13.65	   search
13.65	     run=6  nbConstraintChecks=87159501  nbAssignments=70000
13.65	       =>  wckTime=13.021  cpuTime=12.94  mem=5M671
15.53	   
15.53	   search
15.53	     run=7  nbConstraintChecks=100005326  nbAssignments=80000
15.53	       =>  wckTime=14.901  cpuTime=14.82  mem=5M671
17.38	   
17.38	   search
17.38	     run=8  nbConstraintChecks=112546426  nbAssignments=90000
17.38	       =>  wckTime=16.756  cpuTime=16.66  mem=5M671
19.22	   
19.22	   search
19.23	     run=9  nbConstraintChecks=125012191  nbAssignments=100000
19.23	       =>  wckTime=18.598  cpuTime=18.49  mem=5M671
21.07	   
21.07	   search
21.07	     run=10  nbConstraintChecks=137343382  nbAssignments=110000
21.07	       =>  wckTime=20.439  cpuTime=20.34  mem=5M671
22.96	   
22.96	   search
22.96	     run=11  nbConstraintChecks=150141415  nbAssignments=120000
22.96	       =>  wckTime=22.331  cpuTime=22.22  mem=5M671
24.78	   
24.78	   search
24.78	     run=12  nbConstraintChecks=162233726  nbAssignments=130000
24.78	       =>  wckTime=24.153  cpuTime=24.03  mem=5M671
26.65	   
26.65	   search
26.65	     run=13  nbConstraintChecks=174866542  nbAssignments=140000
26.65	       =>  wckTime=26.027  cpuTime=25.9  mem=5M671
28.51	   
28.51	   search
28.51	     run=14  nbConstraintChecks=187335005  nbAssignments=150000
28.51	       =>  wckTime=27.888  cpuTime=27.75  mem=5M671
30.42	   
30.42	   search
30.42	     run=15  nbConstraintChecks=200342276  nbAssignments=160000
30.42	       =>  wckTime=29.794  cpuTime=29.65  mem=5M671
30.95	   
30.95	   search
30.95	     run=16  nbConstraintChecks=203825736  nbAssignments=163014
30.95	       =>  wckTime=30.325  cpuTime=30.18  mem=5M671
30.96	   
30.96	   global
30.96	     nbConstraintChecks=203825736  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.96	     solvingWckTime=30.324  solvingCpuTime=30.18  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.96	     globalCpuTime=30.46
30.96	       =>  wckTime=30.665  cpuTime=30.4  mem=5M671
30.96	   
30.96	   solver IterativeSystematicSolver being built... 
31.08	       =>  wckTime=30.79  cpuTime=30.5  mem=16M660
31.09	   
31.09	   preprocessing
31.09	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.09	     detectedInconsistency=no
31.09	       =>  wckTime=0.0060  cpuTime=0.0  mem=16M660
31.15	   
31.15	   search
31.15	     run=0  nbConstraintChecks=84730  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=41
31.15	     nbFailedAssignments=24  nbBacktracks=12  nbVisitedNodes=78  nbRestartNogoods=0
31.16	       =>  wckTime=0.075  cpuTime=0.06  mem=16M660
31.22	   
31.22	   search
31.22	     run=1  nbConstraintChecks=221673  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=107
31.22	     nbFailedAssignments=66  nbBacktracks=27  nbVisitedNodes=201  nbRestartNogoods=3
31.22	       =>  wckTime=0.137  cpuTime=0.1  mem=16M660
31.26	   
31.26	   search
31.26	     run=2  nbConstraintChecks=398610  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=186
31.26	     nbFailedAssignments=116  nbBacktracks=50  nbVisitedNodes=353  nbRestartNogoods=9
31.26	       =>  wckTime=0.185  cpuTime=0.15  mem=16M660
31.35	   
31.35	   search
31.35	     run=3  nbConstraintChecks=702672  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=325
31.35	     nbFailedAssignments=215  nbBacktracks=83  nbVisitedNodes=624  nbRestartNogoods=12
31.35	       =>  wckTime=0.274  cpuTime=0.23  mem=16M660
31.47	   
31.47	   search
31.47	     run=4  nbConstraintChecks=1098357  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=506
31.47	     nbFailedAssignments=341  nbBacktracks=133  nbVisitedNodes=981  nbRestartNogoods=26
31.47	       =>  wckTime=0.387  cpuTime=0.34  mem=16M660
31.64	   
31.64	   search
31.64	     run=5  nbConstraintChecks=1662100  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=764
31.64	     nbFailedAssignments=518  nbBacktracks=208  nbVisitedNodes=1491  nbRestartNogoods=37
31.64	       =>  wckTime=0.559  cpuTime=0.51  mem=16M660
31.88	   
31.88	   search
31.88	     run=6  nbConstraintChecks=2505769  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1147
31.88	     nbFailedAssignments=782  nbBacktracks=321  nbVisitedNodes=2251  nbRestartNogoods=43
31.88	       =>  wckTime=0.804  cpuTime=0.75  mem=16M660
32.24	   
32.24	   search
32.24	     run=7  nbConstraintChecks=3736768  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1687
32.24	     nbFailedAssignments=1148  nbBacktracks=491  nbVisitedNodes=3327  nbRestartNogoods=53
32.24	       =>  wckTime=1.163  cpuTime=1.1  mem=16M660
32.82	   
32.82	   search
32.82	     run=8  nbConstraintChecks=5730498  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2570
32.82	     nbFailedAssignments=1767  nbBacktracks=747  nbVisitedNodes=5084  nbRestartNogoods=58
32.82	       =>  wckTime=1.741  cpuTime=1.66  mem=16M660
33.56	   
33.56	   search
33.56	     run=9  nbConstraintChecks=8527755  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3727
33.56	     nbFailedAssignments=2535  nbBacktracks=1131  nbVisitedNodes=7383  nbRestartNogoods=66
33.56	       =>  wckTime=2.481  cpuTime=2.4  mem=16M660
34.60	   
34.60	   search
34.60	     run=10  nbConstraintChecks=12415659  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5368
34.60	     nbFailedAssignments=3593  nbBacktracks=1707  nbVisitedNodes=10640  nbRestartNogoods=69
34.60	       =>  wckTime=3.522  cpuTime=3.43  mem=16M660
35.99	   
35.99	   search
35.99	     run=11  nbConstraintChecks=17444699  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7469
35.99	     nbFailedAssignments=4825  nbBacktracks=2571  nbVisitedNodes=14753  nbRestartNogoods=75
35.99	       =>  wckTime=4.907  cpuTime=4.82  mem=16M660
38.02	   
38.02	   search
38.02	     run=12  nbConstraintChecks=24373824  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10439
38.02	     nbFailedAssignments=6493  nbBacktracks=3869  nbVisitedNodes=20528  nbRestartNogoods=84
38.02	       =>  wckTime=6.938  cpuTime=6.84  mem=16M660
40.95	   
40.95	   search
40.95	     run=13  nbConstraintChecks=34915327  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14830
40.95	     nbFailedAssignments=8930  nbBacktracks=5815  nbVisitedNodes=29077  nbRestartNogoods=93
40.95	       =>  wckTime=9.875  cpuTime=9.76  mem=16M660
45.11	   
45.11	   search
45.11	     run=14  nbConstraintChecks=49752176  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21222
45.11	     nbFailedAssignments=12398  nbBacktracks=8734  nbVisitedNodes=41307  nbRestartNogoods=105
45.11	       =>  wckTime=14.026  cpuTime=13.89  mem=16M660
51.88	   
51.88	   search
51.88	     run=15  nbConstraintChecks=73602993  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=31352
51.88	     nbFailedAssignments=18141  nbBacktracks=13112  nbVisitedNodes=60918  nbRestartNogoods=112
51.88	       =>  wckTime=20.802  cpuTime=20.64  mem=16M660
61.51	   
61.51	   search
61.51	     run=16  nbConstraintChecks=107653147  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=45730
61.51	     nbFailedAssignments=25947  nbBacktracks=19681  nbVisitedNodes=88714  nbRestartNogoods=132
61.51	       =>  wckTime=30.434  cpuTime=30.24  mem=16M660
75.66	   
75.66	   search
75.66	     run=17  nbConstraintChecks=157701770  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=66954
75.66	     nbFailedAssignments=37315  nbBacktracks=29533  nbVisitedNodes=129491  nbRestartNogoods=144
75.66	       =>  wckTime=44.577  cpuTime=44.33  mem=16M660
97.18	   
97.18	   search
97.18	     run=18  nbConstraintChecks=234220146  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=99386
97.18	     nbFailedAssignments=54963  nbBacktracks=44311  nbVisitedNodes=192019  nbRestartNogoods=157
97.18	       =>  wckTime=66.098  cpuTime=65.77  mem=16M660
129.85	   
129.85	   search
129.85	     run=19  nbConstraintChecks=348890187  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=148251
129.85	     nbFailedAssignments=81653  nbBacktracks=66482  nbVisitedNodes=286440  nbRestartNogoods=162
129.85	       =>  wckTime=98.774  cpuTime=98.32  mem=16M660
177.14	   
177.14	   search
177.14	     run=20  nbConstraintChecks=517222873  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=220190
177.14	     nbFailedAssignments=120333  nbBacktracks=99734  nbVisitedNodes=424461  nbRestartNogoods=171
177.14	       =>  wckTime=146.062  cpuTime=145.42  mem=16M660
249.45	   
249.45	   search
249.45	     run=21  nbConstraintChecks=775012834  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=329814
249.45	     nbFailedAssignments=180073  nbBacktracks=149613  nbVisitedNodes=635904  nbRestartNogoods=185
249.45	       =>  wckTime=218.368  cpuTime=217.45  mem=16M660
272.77	   
272.77	   search
272.77	     run=22  nbConstraintChecks=857763251  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=365058
272.77	     nbFailedAssignments=199328  nbBacktracks=165603  nbVisitedNodes=704099  nbRestartNogoods=196
272.77	       =>  wckTime=241.687  cpuTime=240.68  mem=16M660
272.77	   
272.77	   global
272.77	     nbConstraintChecks=857763251  nbRestartNogoods=196  solvingWckTime=241.688  solvingCpuTime=240.68  expiredTime=no
272.77	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=271.24
272.77	       =>  wckTime=272.478  cpuTime=271.18  mem=16M660
272.77	
272.77	s OPTIMUM FOUND
272.77	v 1 4 7 1 1 0 9 2 3 8 9 7 6 8 4 1 9 1 6 4 0 8 7 7 3 
272.77	   
272.77	   totalWckTime=272.553  totalCpuTime=271.24

Verifier Data (download as text)

2 unsatisfied constraints, 298 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/node75/watcher-281153-1169310236 -o ROOT/results/node75/solver-281153-1169310236 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281153-1169310236/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.69 1.91 1.90 4/73 30727
/proc/meminfo: memFree=1322960/2055920 swapFree=4184548/4192956
[pid=30726] ppid=30724 vsize=18540 CPUtime=0
/proc/30726/stat : 30726 (runsolver) R 30724 30726 30387 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 279422999 18984960 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/30726/statm: 4635 280 244 17 0 2626 0

[startup+0.107579 s]
/proc/loadavg: 1.69 1.91 1.90 4/73 30727
/proc/meminfo: memFree=1322960/2055920 swapFree=4184548/4192956
[pid=30726] ppid=30724 vsize=914988 CPUtime=0.09
/proc/30726/stat : 30726 (java) R 30724 30726 30387 0 -1 0 3083 0 1 0 8 1 0 0 20 0 8 0 279422999 936947712 2829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30726/statm: 228747 2829 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516626 s]
/proc/loadavg: 1.69 1.91 1.90 4/73 30727
/proc/meminfo: memFree=1322960/2055920 swapFree=4184548/4192956
[pid=30726] ppid=30724 vsize=915332 CPUtime=0.5
/proc/30726/stat : 30726 (java) R 30724 30726 30387 0 -1 0 6642 0 1 0 47 3 0 0 19 0 8 0 279422999 937299968 6381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30726/statm: 228833 6381 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.34272 s]
/proc/loadavg: 1.69 1.91 1.90 3/80 30734
/proc/meminfo: memFree=1304024/2055920 swapFree=4184548/4192956
[pid=30726] ppid=30724 vsize=915464 CPUtime=1.32
/proc/30726/stat : 30726 (java) R 30724 30726 30387 0 -1 0 7427 0 1 0 113 19 0 0 25 0 8 0 279422999 937435136 7165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073734698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30726/statm: 228866 7165 2476 14 0 215336 0
[pid=30726/tid=30728] ppid=30724 vsize=915468 CPUtime=0.02
/proc/30726/task/30728/stat : 30728 (java) S 30724 30726 30387 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 279423003 937439232 7165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30729] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30729/stat : 30729 (java) S 30724 30726 30387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279423003 937435136 7165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30730] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30730/stat : 30730 (java) S 30724 30726 30387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279423003 937435136 7165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30731] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30731/stat : 30731 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279423006 937435136 7165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30732] ppid=30724 vsize=915464 CPUtime=0.13
/proc/30726/task/30732/stat : 30732 (java) S 30724 30726 30387 0 -1 64 347 0 0 0 13 0 0 0 16 0 8 0 279423006 937435136 7165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30733] ppid=30724 vsize=915468 CPUtime=0
/proc/30726/task/30733/stat : 30733 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279423006 937439232 7165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30734] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30734/stat : 30734 (java) S 30724 30726 30387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279423006 937435136 7165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915464

[startup+2.98092 s]
/proc/loadavg: 1.69 1.91 1.90 3/80 30734
/proc/meminfo: memFree=1304024/2055920 swapFree=4184548/4192956
[pid=30726] ppid=30724 vsize=915468 CPUtime=2.95
/proc/30726/stat : 30726 (java) R 30724 30726 30387 0 -1 0 7430 0 1 0 244 51 0 0 25 0 8 0 279422999 937439232 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30726/statm: 228866 7167 2476 14 0 215336 0
[pid=30726/tid=30728] ppid=30724 vsize=915464 CPUtime=0.02
/proc/30726/task/30728/stat : 30728 (java) S 30724 30726 30387 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 279423003 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30729] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30729/stat : 30729 (java) S 30724 30726 30387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279423003 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30730] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30730/stat : 30730 (java) S 30724 30726 30387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279423003 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30731] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30731/stat : 30731 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279423006 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30732] ppid=30724 vsize=915464 CPUtime=0.13
/proc/30726/task/30732/stat : 30732 (java) S 30724 30726 30387 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 279423006 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30733] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30733/stat : 30733 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279423006 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30734] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30734/stat : 30734 (java) S 30724 30726 30387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279423006 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915468

[startup+6.2603 s]
/proc/loadavg: 1.71 1.91 1.90 3/80 30734
/proc/meminfo: memFree=1304032/2055920 swapFree=4184548/4192956
[pid=30726] ppid=30724 vsize=915464 CPUtime=6.21
/proc/30726/stat : 30726 (java) R 30724 30726 30387 0 -1 0 7430 0 1 0 507 114 0 0 25 0 8 0 279422999 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30726/statm: 228866 7167 2476 14 0 215336 0
[pid=30726/tid=30728] ppid=30724 vsize=915464 CPUtime=0.02
/proc/30726/task/30728/stat : 30728 (java) S 30724 30726 30387 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 279423003 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30729] ppid=30724 vsize=915468 CPUtime=0
/proc/30726/task/30729/stat : 30729 (java) S 30724 30726 30387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279423003 937439232 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30730] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30730/stat : 30730 (java) S 30724 30726 30387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279423003 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30731] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30731/stat : 30731 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279423006 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30732] ppid=30724 vsize=915464 CPUtime=0.13
/proc/30726/task/30732/stat : 30732 (java) S 30724 30726 30387 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 279423006 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30733] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30733/stat : 30733 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279423006 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30734] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30734/stat : 30734 (java) S 30724 30726 30387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279423006 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915464

[startup+12.7441 s]
/proc/loadavg: 1.74 1.91 1.90 3/80 30734
/proc/meminfo: memFree=1304032/2055920 swapFree=4184548/4192956
[pid=30726] ppid=30724 vsize=915464 CPUtime=12.67
/proc/30726/stat : 30726 (java) R 30724 30726 30387 0 -1 0 7430 0 1 0 1021 246 0 0 25 0 8 0 279422999 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30726/statm: 228866 7167 2476 14 0 215336 0
[pid=30726/tid=30728] ppid=30724 vsize=915464 CPUtime=0.02
/proc/30726/task/30728/stat : 30728 (java) S 30724 30726 30387 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 279423003 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30729] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30729/stat : 30729 (java) S 30724 30726 30387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279423003 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30730] ppid=30724 vsize=915468 CPUtime=0
/proc/30726/task/30730/stat : 30730 (java) S 30724 30726 30387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279423003 937439232 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30731] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30731/stat : 30731 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279423006 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30732] ppid=30724 vsize=915464 CPUtime=0.13
/proc/30726/task/30732/stat : 30732 (java) S 30724 30726 30387 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 279423006 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30733] ppid=30724 vsize=915468 CPUtime=0
/proc/30726/task/30733/stat : 30733 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279423006 937439232 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30734] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30734/stat : 30734 (java) S 30724 30726 30387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279423006 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915464

[startup+25.5946 s]
/proc/loadavg: 1.79 1.91 1.91 3/80 30734
/proc/meminfo: memFree=1304096/2055920 swapFree=4184548/4192956
[pid=30726] ppid=30724 vsize=915464 CPUtime=25.48
/proc/30726/stat : 30726 (java) R 30724 30726 30387 0 -1 0 7430 0 1 0 2043 505 0 0 25 0 8 0 279422999 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30726/statm: 228866 7167 2476 14 0 215336 0
[pid=30726/tid=30728] ppid=30724 vsize=915468 CPUtime=0.02
/proc/30726/task/30728/stat : 30728 (java) S 30724 30726 30387 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 279423003 937439232 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30729] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30729/stat : 30729 (java) S 30724 30726 30387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279423003 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30730] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30730/stat : 30730 (java) S 30724 30726 30387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279423003 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30731] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30731/stat : 30731 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279423006 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30732] ppid=30724 vsize=915464 CPUtime=0.13
/proc/30726/task/30732/stat : 30732 (java) S 30724 30726 30387 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 279423006 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30733] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30733/stat : 30733 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279423006 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30734] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30734/stat : 30734 (java) S 30724 30726 30387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279423006 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915464

[startup+51.2946 s]
/proc/loadavg: 1.86 1.92 1.91 3/80 30734
/proc/meminfo: memFree=1297760/2055920 swapFree=4184548/4192956
[pid=30726] ppid=30724 vsize=915464 CPUtime=51.07
/proc/30726/stat : 30726 (java) R 30724 30726 30387 0 -1 0 9084 0 1 0 4498 609 0 0 25 0 8 0 279422999 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073909005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30726/statm: 228866 8816 2527 14 0 215336 0
[pid=30726/tid=30728] ppid=30724 vsize=915464 CPUtime=0.02
/proc/30726/task/30728/stat : 30728 (java) S 30724 30726 30387 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279423003 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30729] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30729/stat : 30729 (java) S 30724 30726 30387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279423003 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30730] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30730/stat : 30730 (java) S 30724 30726 30387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279423003 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30731] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30731/stat : 30731 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279423006 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30732] ppid=30724 vsize=915464 CPUtime=0.23
/proc/30726/task/30732/stat : 30732 (java) S 30724 30726 30387 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 279423006 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30733] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30733/stat : 30733 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279423006 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30734] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30734/stat : 30734 (java) S 30724 30726 30387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279423006 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 915464

[startup+102.582 s]
/proc/loadavg: 1.94 1.93 1.91 3/80 30734
/proc/meminfo: memFree=1297760/2055920 swapFree=4184548/4192956
[pid=30726] ppid=30724 vsize=915464 CPUtime=102.16
/proc/30726/stat : 30726 (java) R 30724 30726 30387 0 -1 0 9096 0 1 0 9607 609 0 0 25 0 8 0 279422999 937435136 8826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073921345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30726/statm: 228866 8826 2527 14 0 215336 0
[pid=30726/tid=30728] ppid=30724 vsize=915464 CPUtime=0.02
/proc/30726/task/30728/stat : 30728 (java) S 30724 30726 30387 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279423003 937435136 8826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30729] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30729/stat : 30729 (java) S 30724 30726 30387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279423003 937435136 8826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30730] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30730/stat : 30730 (java) S 30724 30726 30387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279423003 937435136 8826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30731] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30731/stat : 30731 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279423006 937435136 8826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30732] ppid=30724 vsize=915464 CPUtime=0.23
/proc/30726/task/30732/stat : 30732 (java) S 30724 30726 30387 0 -1 64 405 0 0 0 22 1 0 0 16 0 8 0 279423006 937435136 8826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30733] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30733/stat : 30733 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279423006 937435136 8826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30734] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30734/stat : 30734 (java) S 30724 30726 30387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279423006 937435136 8826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 915464

[startup+162.605 s]
/proc/loadavg: 1.98 1.94 1.91 3/80 30734
/proc/meminfo: memFree=1297696/2055920 swapFree=4184548/4192956
[pid=30726] ppid=30724 vsize=915464 CPUtime=161.95
/proc/30726/stat : 30726 (java) R 30724 30726 30387 0 -1 0 9098 0 1 0 15586 609 0 0 25 0 8 0 279422999 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073909452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30726/statm: 228866 8828 2527 14 0 215336 0
[pid=30726/tid=30728] ppid=30724 vsize=915464 CPUtime=0.02
/proc/30726/task/30728/stat : 30728 (java) S 30724 30726 30387 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279423003 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30729] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30729/stat : 30729 (java) S 30724 30726 30387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279423003 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30730] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30730/stat : 30730 (java) S 30724 30726 30387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279423003 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30731] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30731/stat : 30731 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279423006 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30732] ppid=30724 vsize=915464 CPUtime=0.23
/proc/30726/task/30732/stat : 30732 (java) S 30724 30726 30387 0 -1 64 405 0 0 0 22 1 0 0 16 0 8 0 279423006 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30733] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30733/stat : 30733 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279423006 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30734] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30734/stat : 30734 (java) S 30724 30726 30387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279423006 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.95
Current children cumulated vsize (KiB) 915464

[startup+222.626 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 30734
/proc/meminfo: memFree=1297696/2055920 swapFree=4184548/4192956
[pid=30726] ppid=30724 vsize=915464 CPUtime=221.74
/proc/30726/stat : 30726 (java) R 30724 30726 30387 0 -1 0 9101 0 1 0 21565 609 0 0 25 0 8 0 279422999 937435136 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073742502 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30726/statm: 228866 8831 2527 14 0 215336 0
[pid=30726/tid=30728] ppid=30724 vsize=915464 CPUtime=0.02
/proc/30726/task/30728/stat : 30728 (java) S 30724 30726 30387 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279423003 937435136 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30729] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30729/stat : 30729 (java) S 30724 30726 30387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279423003 937435136 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30730] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30730/stat : 30730 (java) S 30724 30726 30387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279423003 937435136 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30731] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30731/stat : 30731 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279423006 937435136 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30732] ppid=30724 vsize=915464 CPUtime=0.23
/proc/30726/task/30732/stat : 30732 (java) S 30724 30726 30387 0 -1 64 405 0 0 0 22 1 0 0 16 0 8 0 279423006 937435136 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30733] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30733/stat : 30733 (java) S 30724 30726 30387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279423006 937435136 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30726/tid=30734] ppid=30724 vsize=915464 CPUtime=0
/proc/30726/task/30734/stat : 30734 (java) S 30724 30726 30387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279423006 937435136 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.74
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 272.83
CPU time (s): 271.714
CPU user time (s): 265.614
CPU system time (s): 6.10007
CPU usage (%): 99.591
Max. virtual memory (cumulated for all children) (KiB): 915980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 265.614
system time used= 6.10007
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9199
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= 6732
involuntary context switches= 10312

runsolver used 0.264959 s user time and 0.71789 s system time

The end

Launcher Data (download as text)

Begin job on node75 on Sat Jan 20 16:23:56 UTC 2007


IDJOB= 281153
IDBENCH= 12097
IDSOLVER= 69
FILE ID= node75/281153-1169310236

PBS_JOBID= 3610233

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/completeLoose/vcsp-25-10-100-18-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281153-1169310236/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node75/watcher-281153-1169310236 -o ROOT/results/node75/solver-281153-1169310236 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281153-1169310236/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1f80a6eb2d628e175ceaa99364140f43

RANDOM SEED= 146330955

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.218
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.218
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1323632 kB
Buffers:         41828 kB
Cached:         600724 kB
SwapCached:       2360 kB
Active:         148428 kB
Inactive:       509948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1323632 kB
SwapTotal:     4192956 kB
SwapFree:      4184548 kB
Dirty:            4112 kB
Writeback:           0 kB
Mapped:          23792 kB
Slab:            59360 kB
Committed_AS:  5626656 kB
PageTables:       1748 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 node75 on Sat Jan 20 16:28:29 UTC 2007