Trace number 281288

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 410.986 413.098

General information on the benchmark

NameMaxCSP/randomMaxCSP/completeLoose/
vcsp-25-10-100-18-23_ext.xml
MD5SUM2ec5dbffc1a0a47349d596721dc98f41
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 benchmark24.1793
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/281288-1169310985/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=25  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.41	       =>  wckTime=0.1  cpuTime=0.09  mem=6M910
0.41	   
0.41	   relations being loaded...
0.48	   
0.48	   constraints being loaded...
0.58	     nbConstraints=300  nbRelationTypes=300  nbExtensionStructures=300  nbSharedExtensionStructures=0
0.58	     nbConflictsStructures=300  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=5572  maxDegree=24
0.58	     maxArity=2
0.58	       =>  wckTime=0.275  cpuTime=0.19  mem=9M835
0.63	   
0.63	   solver LocalSearchSolver being built... 
0.67	       =>  wckTime=0.359  cpuTime=0.23  mem=5M671
0.67	
0.67	s SATISFIABLE
0.67	o 257
0.67	c 43
0.67	o 262
0.67	c 38
0.68	o 266
0.68	c 34
0.68	o 271
0.68	c 29
0.68	o 274
0.68	c 26
0.68	o 275
0.68	c 25
0.68	o 277
0.68	c 23
0.68	o 279
0.68	c 21
0.68	o 281
0.68	c 19
0.68	o 282
0.68	c 18
0.68	o 283
0.68	c 17
0.68	o 285
0.68	c 15
0.68	o 288
0.68	c 12
0.68	o 289
0.68	c 11
0.68	o 290
0.68	c 10
0.69	o 292
0.69	c 8
0.69	o 293
0.69	c 7
0.69	o 294
0.69	c 6
0.69	o 295
0.69	c 5
0.69	o 296
0.69	c 4
0.73	o 297
0.73	c 3
1.01	o 298
1.01	c 2
2.64	   
2.64	   search
2.64	     run=0  nbConstraintChecks=11882024  nbAssignments=10000
2.64	       =>  wckTime=1.974  cpuTime=1.94  mem=5M671
4.59	   
4.59	   search
4.59	     run=1  nbConstraintChecks=24263814  nbAssignments=20000
4.59	       =>  wckTime=3.923  cpuTime=3.88  mem=5M671
6.47	   
6.47	   search
6.47	     run=2  nbConstraintChecks=36052435  nbAssignments=30000
6.47	       =>  wckTime=5.798  cpuTime=5.75  mem=5M671
8.41	   
8.41	   search
8.41	     run=3  nbConstraintChecks=48434428  nbAssignments=40000
8.41	       =>  wckTime=7.745  cpuTime=7.68  mem=5M671
10.33	   
10.33	   search
10.33	     run=4  nbConstraintChecks=60406448  nbAssignments=50000
10.33	       =>  wckTime=9.663  cpuTime=9.59  mem=5M671
12.28	   
12.28	   search
12.28	     run=5  nbConstraintChecks=72779697  nbAssignments=60000
12.28	       =>  wckTime=11.614  cpuTime=11.54  mem=5M671
14.19	   
14.19	   search
14.19	     run=6  nbConstraintChecks=84626637  nbAssignments=70000
14.19	       =>  wckTime=13.519  cpuTime=13.44  mem=5M671
16.15	   
16.15	   search
16.15	     run=7  nbConstraintChecks=97042835  nbAssignments=80000
16.15	       =>  wckTime=15.486  cpuTime=15.39  mem=5M671
18.04	   
18.04	   search
18.04	     run=8  nbConstraintChecks=108765193  nbAssignments=90000
18.04	       =>  wckTime=17.374  cpuTime=17.27  mem=5M671
19.94	   
19.94	   search
19.94	     run=9  nbConstraintChecks=120699820  nbAssignments=100000
19.94	       =>  wckTime=19.273  cpuTime=19.16  mem=5M671
21.85	   
21.85	   search
21.85	     run=10  nbConstraintChecks=132703818  nbAssignments=110000
21.85	       =>  wckTime=21.18  cpuTime=21.06  mem=5M671
23.77	   
23.77	   search
23.77	     run=11  nbConstraintChecks=144900940  nbAssignments=120000
23.77	       =>  wckTime=23.106  cpuTime=22.97  mem=5M671
25.66	   
25.66	   search
25.66	     run=12  nbConstraintChecks=156749815  nbAssignments=130000
25.66	       =>  wckTime=24.992  cpuTime=24.85  mem=5M671
27.56	   
27.56	   search
27.56	     run=13  nbConstraintChecks=168685676  nbAssignments=140000
27.56	       =>  wckTime=26.891  cpuTime=26.74  mem=5M671
29.46	   
29.46	   search
29.46	     run=14  nbConstraintChecks=180526857  nbAssignments=150000
29.46	       =>  wckTime=28.793  cpuTime=28.63  mem=5M671
31.16	   
31.16	   search
31.16	     run=15  nbConstraintChecks=191129244  nbAssignments=158986
31.16	       =>  wckTime=30.495  cpuTime=30.33  mem=5M671
31.16	   
31.16	   global
31.16	     nbConstraintChecks=191129244  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.16	     solvingWckTime=30.494  solvingCpuTime=30.33  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.16	     globalCpuTime=30.61
31.16	       =>  wckTime=30.855  cpuTime=30.56  mem=5M671
31.17	   
31.17	   solver IterativeSystematicSolver being built... 
31.30	       =>  wckTime=30.987  cpuTime=30.66  mem=16M644
31.31	   
31.31	   preprocessing
31.31	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.31	     detectedInconsistency=no
31.31	       =>  wckTime=0.0070  cpuTime=0.0  mem=16M644
31.39	   
31.39	   search
31.39	     run=0  nbConstraintChecks=108520  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=55
31.39	     nbFailedAssignments=39  nbBacktracks=10  nbVisitedNodes=105  nbRestartNogoods=0
31.39	       =>  wckTime=0.088  cpuTime=0.06  mem=16M644
31.46	   
31.46	   search
31.46	     run=1  nbConstraintChecks=280429  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=133
31.46	     nbFailedAssignments=95  nbBacktracks=26  nbVisitedNodes=255  nbRestartNogoods=3
31.46	       =>  wckTime=0.163  cpuTime=0.12  mem=16M644
31.51	   
31.51	   search
31.52	     run=2  nbConstraintChecks=463066  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=211
31.52	     nbFailedAssignments=144  nbBacktracks=48  nbVisitedNodes=404  nbRestartNogoods=9
31.52	       =>  wckTime=0.219  cpuTime=0.17  mem=16M644
31.63	   
31.63	   search
31.63	     run=3  nbConstraintChecks=813300  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=377
31.63	     nbFailedAssignments=271  nbBacktracks=81  nbVisitedNodes=730  nbRestartNogoods=19
31.63	       =>  wckTime=0.333  cpuTime=0.28  mem=16M644
31.76	   
31.76	   search
31.76	     run=4  nbConstraintChecks=1238497  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=570
31.76	     nbFailedAssignments=406  nbBacktracks=131  nbVisitedNodes=1108  nbRestartNogoods=42
31.76	       =>  wckTime=0.466  cpuTime=0.41  mem=16M644
32.00	   
32.00	   search
32.00	     run=5  nbConstraintChecks=1965347  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=914
32.00	     nbFailedAssignments=669  nbBacktracks=206  nbVisitedNodes=1790  nbRestartNogoods=53
32.00	       =>  wckTime=0.701  cpuTime=0.64  mem=16M644
32.22	   
32.22	   search
32.22	     run=6  nbConstraintChecks=2719034  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1238
32.22	     nbFailedAssignments=875  nbBacktracks=319  nbVisitedNodes=2433  nbRestartNogoods=57
32.22	       =>  wckTime=0.92  cpuTime=0.85  mem=16M644
32.64	   
32.64	   search
32.64	     run=7  nbConstraintChecks=4113949  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1848
32.64	     nbFailedAssignments=1307  nbBacktracks=489  nbVisitedNodes=3645  nbRestartNogoods=67
32.64	       =>  wckTime=1.341  cpuTime=1.26  mem=16M644
33.27	   
33.27	   search
33.27	     run=8  nbConstraintChecks=6232748  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2771
33.27	     nbFailedAssignments=1968  nbBacktracks=745  nbVisitedNodes=5485  nbRestartNogoods=76
33.27	       =>  wckTime=1.974  cpuTime=1.88  mem=16M644
34.25	   
34.25	   search
34.25	     run=9  nbConstraintChecks=9576111  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4230
34.25	     nbFailedAssignments=3038  nbBacktracks=1129  nbVisitedNodes=8398  nbRestartNogoods=88
34.25	       =>  wckTime=2.958  cpuTime=2.86  mem=16M644
35.63	   
35.63	   search
35.63	     run=10  nbConstraintChecks=14345692  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6279
35.63	     nbFailedAssignments=4503  nbBacktracks=1706  nbVisitedNodes=12489  nbRestartNogoods=103
35.63	       =>  wckTime=4.337  cpuTime=4.23  mem=16M644
37.65	   
37.65	   search
37.65	     run=11  nbConstraintChecks=21541403  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9402
37.65	     nbFailedAssignments=6754  nbBacktracks=2570  nbVisitedNodes=18727  nbRestartNogoods=116
37.65	       =>  wckTime=6.349  cpuTime=6.23  mem=16M644
40.54	   
40.54	   search
40.54	     run=12  nbConstraintChecks=31709131  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13679
40.54	     nbFailedAssignments=9727  nbBacktracks=3867  nbVisitedNodes=27272  nbRestartNogoods=128
40.54	       =>  wckTime=9.245  cpuTime=9.11  mem=16M644
44.64	   
44.64	   search
44.64	     run=13  nbConstraintChecks=45997368  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=19720
44.64	     nbFailedAssignments=13815  nbBacktracks=5813  nbVisitedNodes=39336  nbRestartNogoods=141
44.64	       =>  wckTime=13.343  cpuTime=13.19  mem=16M644
50.73	   
50.73	   search
50.73	     run=14  nbConstraintChecks=66865645  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=28501
50.73	     nbFailedAssignments=19668  nbBacktracks=8732  nbVisitedNodes=56831  nbRestartNogoods=159
50.73	       =>  wckTime=19.434  cpuTime=19.25  mem=16M644
58.41	   
58.41	   search
58.41	     run=15  nbConstraintChecks=92108863  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=39266
58.41	     nbFailedAssignments=26050  nbBacktracks=13110  nbVisitedNodes=77820  nbRestartNogoods=175
58.41	       =>  wckTime=27.11  cpuTime=26.89  mem=16M644
69.69	   
69.69	   search
69.69	     run=16  nbConstraintChecks=130374853  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=55505
69.69	     nbFailedAssignments=35713  nbBacktracks=19678  nbVisitedNodes=109589  nbRestartNogoods=184
69.69	       =>  wckTime=38.393  cpuTime=38.12  mem=16M644
85.68	   
85.68	   search
85.68	     run=17  nbConstraintChecks=183171178  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=77729
85.68	     nbFailedAssignments=48077  nbBacktracks=29530  nbVisitedNodes=152734  nbRestartNogoods=196
85.68	       =>  wckTime=54.383  cpuTime=54.03  mem=16M644
109.81	   
109.81	   search
109.81	     run=18  nbConstraintChecks=261091627  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=110911
109.81	     nbFailedAssignments=66472  nbBacktracks=44309  nbVisitedNodes=216843  nbRestartNogoods=209
109.81	       =>  wckTime=78.516  cpuTime=78.05  mem=16M644
144.32	   
144.32	   search
144.32	     run=19  nbConstraintChecks=373063985  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=158898
144.32	     nbFailedAssignments=92285  nbBacktracks=66477  nbVisitedNodes=309029  nbRestartNogoods=232
144.32	       =>  wckTime=113.024  cpuTime=112.39  mem=16M644
196.94	   
196.94	   search
196.94	     run=20  nbConstraintChecks=544709358  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=231952
196.94	     nbFailedAssignments=132079  nbBacktracks=99729  nbVisitedNodes=450333  nbRestartNogoods=240
196.94	       =>  wckTime=165.645  cpuTime=164.76  mem=16M644
275.85	   
275.85	   search
275.85	     run=21  nbConstraintChecks=800731134  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=340718
275.85	     nbFailedAssignments=190962  nbBacktracks=149607  nbVisitedNodes=659830  nbRestartNogoods=257
275.85	       =>  wckTime=244.556  cpuTime=243.3  mem=16M644
396.60	   
396.60	   search
396.60	     run=22  nbConstraintChecks=1191315701  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=506547
396.60	     nbFailedAssignments=281967  nbBacktracks=224425  nbVisitedNodes=980469  nbRestartNogoods=270
396.60	       =>  wckTime=365.302  cpuTime=363.47  mem=16M644
412.95	   
412.95	   search
412.95	     run=23  nbConstraintChecks=1244833059  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=529419
412.95	     nbFailedAssignments=294183  nbBacktracks=235082  nbVisitedNodes=1024160  nbRestartNogoods=279
412.95	       =>  wckTime=381.654  cpuTime=379.74  mem=16M644
412.95	   
412.95	   global
412.95	     nbConstraintChecks=1244833059  nbRestartNogoods=279  solvingWckTime=381.655  solvingCpuTime=379.74  expiredTime=no
412.95	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=410.46
412.95	       =>  wckTime=412.642  cpuTime=410.41  mem=16M644
412.95	
412.95	s OPTIMUM FOUND
412.96	v 5 2 9 0 0 7 5 9 8 1 3 1 7 6 5 1 4 8 0 1 9 2 3 1 7 
412.96	   
412.96	   totalWckTime=412.722  totalCpuTime=410.46

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/node2/watcher-281288-1169310985 -o ROOT/results/node2/solver-281288-1169310985 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281288-1169310985/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: 2.04 1.99 1.99 4/94 28149
/proc/meminfo: memFree=1222600/2055920 swapFree=4180552/4192956
[pid=28148] ppid=28146 vsize=906644 CPUtime=0.03
/proc/28148/stat : 28148 (java) S 28146 28148 27338 0 -1 0 2069 0 1 0 2 1 0 0 18 0 2 0 279494142 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/28148/statm: 226661 1818 1036 14 0 214244 0
[pid=28148/tid=28150] ppid=28146 vsize=906644 CPUtime=0
/proc/28148/task/28150/stat : 28150 (java) R 28146 28148 27338 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 279494145 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.102814 s]
/proc/loadavg: 2.04 1.99 1.99 4/94 28149
/proc/meminfo: memFree=1222600/2055920 swapFree=4180552/4192956
[pid=28148] ppid=28146 vsize=914988 CPUtime=0.08
/proc/28148/stat : 28148 (java) R 28146 28148 27338 0 -1 0 2987 0 1 0 7 1 0 0 19 0 8 0 279494142 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28148/statm: 228747 2733 1426 14 0 215242 0
[pid=28148/tid=28150] ppid=28146 vsize=914988 CPUtime=0
/proc/28148/task/28150/stat : 28150 (java) S 28146 28148 27338 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 279494145 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510888 s]
/proc/loadavg: 2.04 1.99 1.99 4/94 28149
/proc/meminfo: memFree=1222600/2055920 swapFree=4180552/4192956
[pid=28148] ppid=28146 vsize=915332 CPUtime=0.49
/proc/28148/stat : 28148 (java) R 28146 28148 27338 0 -1 0 6344 0 1 0 46 3 0 0 18 0 8 0 279494142 937299968 6083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072946241 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28148/statm: 228833 6083 2140 14 0 215303 0
[pid=28148/tid=28150] ppid=28146 vsize=915332 CPUtime=0
/proc/28148/task/28150/stat : 28150 (java) S 28146 28148 27338 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 279494145 937299968 6083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33203 s]
/proc/loadavg: 2.04 1.99 1.99 3/101 28156
/proc/meminfo: memFree=1203536/2055920 swapFree=4180552/4192956
[pid=28148] ppid=28146 vsize=915464 CPUtime=1.3
/proc/28148/stat : 28148 (java) R 28146 28148 27338 0 -1 0 7424 0 1 0 113 17 0 0 25 0 8 0 279494142 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073735829 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28148/statm: 228866 7162 2476 14 0 215336 0
[pid=28148/tid=28150] ppid=28146 vsize=915464 CPUtime=0.02
/proc/28148/task/28150/stat : 28150 (java) S 28146 28148 27338 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279494145 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28151] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28151/stat : 28151 (java) S 28146 28148 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279494146 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28152] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28152/stat : 28152 (java) S 28146 28148 27338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279494146 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28153] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28153/stat : 28153 (java) S 28146 28148 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279494149 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28154] ppid=28146 vsize=915464 CPUtime=0.14
/proc/28148/task/28154/stat : 28154 (java) S 28146 28148 27338 0 -1 64 345 0 0 0 14 0 0 0 16 0 8 0 279494149 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28155] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28155/stat : 28155 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279494149 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28156] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28156/stat : 28156 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279494149 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464

[startup+2.98034 s]
/proc/loadavg: 2.04 1.99 1.99 3/101 28156
/proc/meminfo: memFree=1203536/2055920 swapFree=4180552/4192956
[pid=28148] ppid=28146 vsize=915464 CPUtime=2.95
/proc/28148/stat : 28148 (java) R 28146 28148 27338 0 -1 0 7428 0 1 0 246 49 0 0 25 0 8 0 279494142 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733612 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28148/statm: 228866 7165 2476 14 0 215336 0
[pid=28148/tid=28150] ppid=28146 vsize=915464 CPUtime=0.02
/proc/28148/task/28150/stat : 28150 (java) S 28146 28148 27338 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279494145 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28151] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28151/stat : 28151 (java) S 28146 28148 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279494146 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28152] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28152/stat : 28152 (java) S 28146 28148 27338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279494146 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28153] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28153/stat : 28153 (java) S 28146 28148 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279494149 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28154] ppid=28146 vsize=915464 CPUtime=0.14
/proc/28148/task/28154/stat : 28154 (java) S 28146 28148 27338 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 279494149 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28155] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28155/stat : 28155 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279494149 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28156] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28156/stat : 28156 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279494149 937435136 7165 18446744073709551615 134512640 134570532 4294956464 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) 915464

[startup+6.26794 s]
/proc/loadavg: 2.04 1.99 1.99 3/101 28156
/proc/meminfo: memFree=1203408/2055920 swapFree=4180552/4192956
[pid=28148] ppid=28146 vsize=915464 CPUtime=6.22
/proc/28148/stat : 28148 (java) R 28146 28148 27338 0 -1 0 7428 0 1 0 508 114 0 0 25 0 8 0 279494142 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733461 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28148/statm: 228866 7165 2476 14 0 215336 0
[pid=28148/tid=28150] ppid=28146 vsize=915464 CPUtime=0.02
/proc/28148/task/28150/stat : 28150 (java) S 28146 28148 27338 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279494145 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28151] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28151/stat : 28151 (java) S 28146 28148 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279494146 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28152] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28152/stat : 28152 (java) S 28146 28148 27338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279494146 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28153] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28153/stat : 28153 (java) S 28146 28148 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279494149 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28154] ppid=28146 vsize=915464 CPUtime=0.14
/proc/28148/task/28154/stat : 28154 (java) S 28146 28148 27338 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 279494149 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28155] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28155/stat : 28155 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279494149 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28156] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28156/stat : 28156 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279494149 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915464

[startup+12.7521 s]
/proc/loadavg: 2.03 1.99 1.99 3/101 28156
/proc/meminfo: memFree=1203408/2055920 swapFree=4180552/4192956
[pid=28148] ppid=28146 vsize=915464 CPUtime=12.67
/proc/28148/stat : 28148 (java) R 28146 28148 27338 0 -1 0 7428 0 1 0 1022 245 0 0 25 0 8 0 279494142 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733545 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28148/statm: 228866 7165 2476 14 0 215336 0
[pid=28148/tid=28150] ppid=28146 vsize=915464 CPUtime=0.02
/proc/28148/task/28150/stat : 28150 (java) S 28146 28148 27338 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279494145 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28151] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28151/stat : 28151 (java) S 28146 28148 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279494146 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28152] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28152/stat : 28152 (java) S 28146 28148 27338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279494146 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28153] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28153/stat : 28153 (java) S 28146 28148 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279494149 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28154] ppid=28146 vsize=915464 CPUtime=0.15
/proc/28148/task/28154/stat : 28154 (java) S 28146 28148 27338 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 279494149 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28155] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28155/stat : 28155 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279494149 937435136 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28156] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28156/stat : 28156 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279494149 937435136 7165 18446744073709551615 134512640 134570532 4294956464 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.6065 s]
/proc/loadavg: 2.03 1.99 1.99 3/101 28156
/proc/meminfo: memFree=1203472/2055920 swapFree=4180552/4192956
[pid=28148] ppid=28146 vsize=915468 CPUtime=25.47
/proc/28148/stat : 28148 (java) R 28146 28148 27338 0 -1 0 7428 0 1 0 2035 512 0 0 25 0 8 0 279494142 937439232 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28148/statm: 228867 7165 2476 14 0 215337 0
[pid=28148/tid=28150] ppid=28146 vsize=915468 CPUtime=0.02
/proc/28148/task/28150/stat : 28150 (java) S 28146 28148 27338 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279494145 937439232 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28151] ppid=28146 vsize=915468 CPUtime=0
/proc/28148/task/28151/stat : 28151 (java) S 28146 28148 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279494146 937439232 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28152] ppid=28146 vsize=915468 CPUtime=0
/proc/28148/task/28152/stat : 28152 (java) S 28146 28148 27338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279494146 937439232 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28153] ppid=28146 vsize=915468 CPUtime=0
/proc/28148/task/28153/stat : 28153 (java) S 28146 28148 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279494149 937439232 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28154] ppid=28146 vsize=915468 CPUtime=0.15
/proc/28148/task/28154/stat : 28154 (java) S 28146 28148 27338 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 279494149 937439232 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28155] ppid=28146 vsize=915468 CPUtime=0
/proc/28148/task/28155/stat : 28155 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279494149 937439232 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28156] ppid=28146 vsize=915468 CPUtime=0
/proc/28148/task/28156/stat : 28156 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279494149 937439232 7165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915468

[startup+51.2172 s]
/proc/loadavg: 2.02 1.99 1.99 4/101 28156
/proc/meminfo: memFree=1197072/2055920 swapFree=4180552/4192956
[pid=28148] ppid=28146 vsize=915464 CPUtime=50.95
/proc/28148/stat : 28148 (java) R 28146 28148 27338 0 -1 0 9079 0 1 0 4463 632 0 0 25 0 8 0 279494142 937435136 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838538 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28148/statm: 228866 8811 2527 14 0 215336 0
[pid=28148/tid=28150] ppid=28146 vsize=915464 CPUtime=0.03
/proc/28148/task/28150/stat : 28150 (java) S 28146 28148 27338 0 -1 64 200 0 0 0 3 0 0 0 16 0 8 0 279494145 937435136 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28151] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28151/stat : 28151 (java) S 28146 28148 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279494146 937435136 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28152] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28152/stat : 28152 (java) S 28146 28148 27338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279494146 937435136 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28153] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28153/stat : 28153 (java) S 28146 28148 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279494149 937435136 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28154] ppid=28146 vsize=915464 CPUtime=0.25
/proc/28148/task/28154/stat : 28154 (java) S 28146 28148 27338 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 279494149 937435136 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28155] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28155/stat : 28155 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279494149 937435136 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28156] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28156/stat : 28156 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279494149 937435136 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915464

[startup+102.424 s]
/proc/loadavg: 2.01 1.99 1.99 3/101 28156
/proc/meminfo: memFree=1197072/2055920 swapFree=4180552/4192956
[pid=28148] ppid=28146 vsize=915464 CPUtime=101.91
/proc/28148/stat : 28148 (java) R 28146 28148 27338 0 -1 0 9088 0 1 0 9559 632 0 0 25 0 8 0 279494142 937435136 8818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073867814 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28148/statm: 228866 8818 2527 14 0 215336 0
[pid=28148/tid=28150] ppid=28146 vsize=915464 CPUtime=0.03
/proc/28148/task/28150/stat : 28150 (java) S 28146 28148 27338 0 -1 64 200 0 0 0 3 0 0 0 16 0 8 0 279494145 937435136 8818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28151] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28151/stat : 28151 (java) S 28146 28148 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279494146 937435136 8818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28152] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28152/stat : 28152 (java) S 28146 28148 27338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279494146 937435136 8818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28153] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28153/stat : 28153 (java) S 28146 28148 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279494149 937435136 8818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28154] ppid=28146 vsize=915464 CPUtime=0.26
/proc/28148/task/28154/stat : 28154 (java) S 28146 28148 27338 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 279494149 937435136 8818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28155] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28155/stat : 28155 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279494149 937435136 8818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28156] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28156/stat : 28156 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279494149 937435136 8818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915464

[startup+162.48 s]
/proc/loadavg: 2.00 1.99 1.99 3/101 28156
/proc/meminfo: memFree=1197072/2055920 swapFree=4180552/4192956
[pid=28148] ppid=28146 vsize=915464 CPUtime=161.69
/proc/28148/stat : 28148 (java) R 28146 28148 27338 0 -1 0 9092 0 1 0 15536 633 0 0 25 0 8 0 279494142 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864061 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28148/statm: 228866 8822 2527 14 0 215336 0
[pid=28148/tid=28150] ppid=28146 vsize=915464 CPUtime=0.03
/proc/28148/task/28150/stat : 28150 (java) S 28146 28148 27338 0 -1 64 200 0 0 0 3 0 0 0 16 0 8 0 279494145 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28151] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28151/stat : 28151 (java) S 28146 28148 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279494146 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28152] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28152/stat : 28152 (java) S 28146 28148 27338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279494146 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28153] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28153/stat : 28153 (java) S 28146 28148 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279494149 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28154] ppid=28146 vsize=915464 CPUtime=0.26
/proc/28148/task/28154/stat : 28154 (java) S 28146 28148 27338 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 279494149 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28155] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28155/stat : 28155 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279494149 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28156] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28156/stat : 28156 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279494149 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.69
Current children cumulated vsize (KiB) 915464

[startup+222.535 s]
/proc/loadavg: 2.00 1.99 1.99 3/101 28156
/proc/meminfo: memFree=1197008/2055920 swapFree=4180552/4192956
[pid=28148] ppid=28146 vsize=915464 CPUtime=221.46
/proc/28148/stat : 28148 (java) R 28146 28148 27338 0 -1 0 9096 0 1 0 21512 634 0 0 25 0 8 0 279494142 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28148/statm: 228866 8826 2527 14 0 215336 0
[pid=28148/tid=28150] ppid=28146 vsize=915464 CPUtime=0.03
/proc/28148/task/28150/stat : 28150 (java) S 28146 28148 27338 0 -1 64 200 0 0 0 3 0 0 0 16 0 8 0 279494145 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28151] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28151/stat : 28151 (java) S 28146 28148 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279494146 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28152] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28152/stat : 28152 (java) S 28146 28148 27338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279494146 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28153] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28153/stat : 28153 (java) S 28146 28148 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279494149 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28154] ppid=28146 vsize=915464 CPUtime=0.26
/proc/28148/task/28154/stat : 28154 (java) S 28146 28148 27338 0 -1 64 403 0 0 0 25 1 0 0 17 0 8 0 279494149 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28155] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28155/stat : 28155 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279494149 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28156] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28156/stat : 28156 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279494149 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.46
Current children cumulated vsize (KiB) 915464

[startup+282.589 s]
/proc/loadavg: 2.00 1.99 1.99 3/101 28156
/proc/meminfo: memFree=1197008/2055920 swapFree=4180552/4192956
[pid=28148] ppid=28146 vsize=915464 CPUtime=281.22
/proc/28148/stat : 28148 (java) R 28146 28148 27338 0 -1 0 9098 0 1 0 27488 634 0 0 25 0 8 0 279494142 937435136 8828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838538 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28148/statm: 228866 8828 2527 14 0 215336 0
[pid=28148/tid=28150] ppid=28146 vsize=915464 CPUtime=0.03
/proc/28148/task/28150/stat : 28150 (java) S 28146 28148 27338 0 -1 64 200 0 0 0 3 0 0 0 16 0 8 0 279494145 937435136 8828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28151] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28151/stat : 28151 (java) S 28146 28148 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279494146 937435136 8828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28152] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28152/stat : 28152 (java) S 28146 28148 27338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279494146 937435136 8828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28153] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28153/stat : 28153 (java) S 28146 28148 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279494149 937435136 8828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28154] ppid=28146 vsize=915464 CPUtime=0.26
/proc/28148/task/28154/stat : 28154 (java) S 28146 28148 27338 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 279494149 937435136 8828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28155] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28155/stat : 28155 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279494149 937435136 8828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28156] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28156/stat : 28156 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279494149 937435136 8828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.22
Current children cumulated vsize (KiB) 915464

[startup+342.638 s]
/proc/loadavg: 2.00 1.99 1.99 3/101 28156
/proc/meminfo: memFree=1197008/2055920 swapFree=4180552/4192956
[pid=28148] ppid=28146 vsize=915464 CPUtime=340.99
/proc/28148/stat : 28148 (java) R 28146 28148 27338 0 -1 0 9098 0 1 0 33464 635 0 0 25 0 8 0 279494142 937435136 8828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28148/statm: 228866 8828 2527 14 0 215336 0
[pid=28148/tid=28150] ppid=28146 vsize=915464 CPUtime=0.03
/proc/28148/task/28150/stat : 28150 (java) S 28146 28148 27338 0 -1 64 200 0 0 0 3 0 0 0 16 0 8 0 279494145 937435136 8828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28151] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28151/stat : 28151 (java) S 28146 28148 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279494146 937435136 8828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28152] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28152/stat : 28152 (java) S 28146 28148 27338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279494146 937435136 8828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28153] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28153/stat : 28153 (java) S 28146 28148 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279494149 937435136 8828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28154] ppid=28146 vsize=915464 CPUtime=0.26
/proc/28148/task/28154/stat : 28154 (java) S 28146 28148 27338 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 279494149 937435136 8828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28155] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28155/stat : 28155 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279494149 937435136 8828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28156] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28156/stat : 28156 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279494149 937435136 8828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.99
Current children cumulated vsize (KiB) 915464

[startup+402.687 s]
/proc/loadavg: 2.00 1.99 1.99 3/101 28156
/proc/meminfo: memFree=1196944/2055920 swapFree=4180552/4192956
[pid=28148] ppid=28146 vsize=915464 CPUtime=400.75
/proc/28148/stat : 28148 (java) R 28146 28148 27338 0 -1 0 9101 0 1 0 39440 635 0 0 25 0 8 0 279494142 937435136 8831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28148/statm: 228866 8831 2527 14 0 215336 0
[pid=28148/tid=28150] ppid=28146 vsize=915464 CPUtime=0.03
/proc/28148/task/28150/stat : 28150 (java) S 28146 28148 27338 0 -1 64 200 0 0 0 3 0 0 0 16 0 8 0 279494145 937435136 8831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28151] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28151/stat : 28151 (java) S 28146 28148 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279494146 937435136 8831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28152] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28152/stat : 28152 (java) S 28146 28148 27338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279494146 937435136 8831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28153] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28153/stat : 28153 (java) S 28146 28148 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279494149 937435136 8831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28154] ppid=28146 vsize=915464 CPUtime=0.26
/proc/28148/task/28154/stat : 28154 (java) S 28146 28148 27338 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 279494149 937435136 8831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28155] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28155/stat : 28155 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279494149 937435136 8831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28148/tid=28156] ppid=28146 vsize=915464 CPUtime=0
/proc/28148/task/28156/stat : 28156 (java) S 28146 28148 27338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279494149 937435136 8831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.75
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 413.098
CPU time (s): 410.986
CPU user time (s): 404.623
CPU system time (s): 6.36203
CPU usage (%): 99.4886
Max. virtual memory (cumulated for all children) (KiB): 915980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 404.623
system time used= 6.36203
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9197
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= 9602
involuntary context switches= 26327

runsolver used 0.431934 s user time and 1.40978 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Sat Jan 20 16:36:25 UTC 2007


IDJOB= 281288
IDBENCH= 12135
IDSOLVER= 69
FILE ID= node2/281288-1169310985

PBS_JOBID= 3609954

Free space on /tmp= 66563 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2ec5dbffc1a0a47349d596721dc98f41

RANDOM SEED= 861267110

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.259
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	: 5931.00
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.259
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:       1223080 kB
Buffers:         49624 kB
Cached:         648572 kB
SwapCached:        572 kB
Active:         218264 kB
Inactive:       539168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1223080 kB
SwapTotal:     4192956 kB
SwapFree:      4180552 kB
Dirty:            1804 kB
Writeback:           0 kB
Mapped:          78436 kB
Slab:            59944 kB
Committed_AS:  7863072 kB
PageTables:       2488 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 node2 on Sat Jan 20 16:43:18 UTC 2007