Trace number 280721

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 372.296 372.735

General information on the benchmark

NameMaxCSP/planning/
rovers02ac_ext.xml
MD5SUMb5f2943b448e76146b4533d5d650253e
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints5298
Best CPU time to get the best result obtained on this benchmark23.3734
Satisfiable
(Un)Satisfiability was proved
Number of variables153
Number of constraints5301
Maximum constraint arity2
Maximum domain size24
Number of constraints which are defined in extension5301
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.39	   
0.40	Abscon 109 (November, 2006)
0.40	   
0.40	   configuration
0.40	     name=pfc.xml
0.43	   
0.43	   instance
0.43	     name=/tmp/evaluation/280721-1169307459/unknown.xml
0.46	   
0.46	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.52	     nbVariables=153  nbDomainTypes=8  minDomainSize=1  maxDomainSize=24
0.52	       =>  wckTime=0.119  cpuTime=0.09  mem=6M910
0.52	   
0.52	   relations being loaded...
0.54	   
0.54	   constraints being loaded...
0.85	     nbConstraints=5183  nbRelationTypes=148  nbSingletonDomainVariables=1  nbExtensionStructures=488
0.85	     nbSharedExtensionStructures=4695  nbConflictsStructures=488  nbSharedConflictsStructures=4695
0.85	     nbSharedBinaryRepresentations=8093  maxDegree=428  maxArity=2
0.85	       =>  wckTime=0.455  cpuTime=0.33  mem=21M586
0.93	   
0.93	   solver LocalSearchSolver being built... 
0.97	       =>  wckTime=0.572  cpuTime=0.37  mem=8M258
0.98	
0.98	s SATISFIABLE
0.98	o 4783
0.98	c 400
0.98	o 4797
0.98	c 386
0.98	o 4812
0.98	c 371
0.98	o 4826
0.98	c 357
0.98	o 4839
0.98	c 344
0.98	o 4852
0.98	c 331
0.98	o 4862
0.98	c 321
0.98	o 4874
0.98	c 309
0.98	o 4886
0.98	c 297
0.99	o 4898
0.99	c 285
0.99	o 4908
0.99	c 275
0.99	o 4918
0.99	c 265
0.99	o 4927
0.99	c 256
0.99	o 4936
0.99	c 247
0.99	o 4943
0.99	c 240
0.99	o 4950
0.99	c 233
1.00	o 4958
1.00	c 225
1.00	o 4967
1.00	c 216
1.00	o 4975
1.00	c 208
1.00	o 4983
1.00	c 200
1.00	o 4990
1.00	c 193
1.00	o 4997
1.00	c 186
1.00	o 5004
1.00	c 179
1.00	o 5011
1.00	c 172
1.00	o 5018
1.00	c 165
1.00	o 5023
1.00	c 160
1.00	o 5026
1.00	c 157
1.01	o 5032
1.01	c 151
1.01	o 5038
1.01	c 145
1.01	o 5044
1.01	c 139
1.01	o 5050
1.01	c 133
1.01	o 5055
1.01	c 128
1.01	o 5059
1.01	c 124
1.01	o 5065
1.01	c 118
1.01	o 5070
1.01	c 113
1.01	o 5073
1.01	c 110
1.01	o 5078
1.01	c 105
1.01	o 5081
1.01	c 102
1.01	o 5085
1.01	c 98
1.01	o 5089
1.01	c 94
1.01	o 5093
1.01	c 90
1.01	o 5097
1.01	c 86
1.02	o 5098
1.02	c 85
1.02	o 5100
1.02	c 83
1.02	o 5103
1.02	c 80
1.02	o 5106
1.02	c 77
1.02	o 5107
1.02	c 76
1.02	o 5110
1.02	c 73
1.02	o 5113
1.02	c 70
1.02	o 5116
1.02	c 67
1.02	o 5119
1.02	c 64
1.02	o 5122
1.02	c 61
1.02	o 5125
1.02	c 58
1.02	o 5128
1.02	c 55
1.02	o 5130
1.02	c 53
1.02	o 5132
1.02	c 51
1.02	o 5134
1.02	c 49
1.02	o 5136
1.02	c 47
1.02	o 5138
1.02	c 45
1.02	o 5140
1.02	c 43
1.02	o 5141
1.02	c 42
1.02	o 5145
1.02	c 38
1.02	o 5147
1.02	c 36
1.03	o 5149
1.03	c 34
1.03	o 5151
1.03	c 32
1.03	o 5153
1.03	c 30
1.03	o 5155
1.03	c 28
1.03	o 5157
1.03	c 26
1.03	o 5158
1.03	c 25
1.03	o 5160
1.03	c 23
1.03	o 5161
1.03	c 22
1.03	o 5162
1.03	c 21
1.03	o 5163
1.03	c 20
1.03	o 5164
1.03	c 19
1.03	o 5166
1.03	c 17
1.04	o 5168
1.04	c 15
1.04	o 5169
1.04	c 14
1.04	o 5171
1.04	c 12
1.04	o 5173
1.04	c 10
1.04	o 5174
1.04	c 9
1.04	o 5175
1.04	c 8
1.04	o 5176
1.04	c 7
1.06	o 5178
1.06	c 5
1.07	o 5179
1.07	c 4
1.07	o 5180
1.07	c 3
8.07	   
8.07	   search
8.07	     run=0  nbConstraintChecks=47242217  nbAssignments=10000
8.07	       =>  wckTime=7.101  cpuTime=7.07  mem=8M258
18.03	   
18.03	   search
18.03	     run=1  nbConstraintChecks=116763078  nbAssignments=20000
18.03	       =>  wckTime=17.066  cpuTime=17.03  mem=8M258
24.92	   
24.92	   search
24.92	     run=2  nbConstraintChecks=163200669  nbAssignments=30000
24.92	       =>  wckTime=23.949  cpuTime=23.9  mem=8M258
31.11	   
31.11	   search
31.11	     run=3  nbConstraintChecks=206529261  nbAssignments=36188
31.11	       =>  wckTime=30.148  cpuTime=30.1  mem=8M258
31.12	   
31.12	   global
31.12	     nbConstraintChecks=206529261  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.12	     solvingWckTime=30.146  solvingCpuTime=30.1  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.12	     globalCpuTime=30.52
31.12	       =>  wckTime=30.721  cpuTime=30.47  mem=8M258
31.12	   
31.12	   solver IterativeSystematicSolver being built... 
31.25	       =>  wckTime=30.859  cpuTime=30.58  mem=20M239
31.29	   
31.29	   preprocessing
31.29	     nbConstraintChecks=526  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.29	     detectedInconsistency=no
31.29	       =>  wckTime=0.031  cpuTime=0.02  mem=20M239
32.53	   
32.53	   search
32.53	     run=0  nbConstraintChecks=2348392  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=86
32.53	     nbFailedAssignments=11  nbBacktracks=10  nbVisitedNodes=105  nbRestartNogoods=0
32.53	       =>  wckTime=1.269  cpuTime=1.23  mem=20M239
34.18	   
34.18	   search
34.18	     run=1  nbConstraintChecks=4975372  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=174
34.18	     nbFailedAssignments=23  nbBacktracks=25  nbVisitedNodes=214  nbRestartNogoods=4
34.18	       =>  wckTime=2.924  cpuTime=2.87  mem=20M239
36.43	   
36.43	   search
36.43	     run=2  nbConstraintChecks=7953834  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=280
36.43	     nbFailedAssignments=42  nbBacktracks=47  nbVisitedNodes=356  nbRestartNogoods=5
36.43	       =>  wckTime=5.175  cpuTime=5.11  mem=20M239
39.57	   
39.57	   search
39.57	     run=3  nbConstraintChecks=11836813  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=402
39.57	     nbFailedAssignments=72  nbBacktracks=80  nbVisitedNodes=530  nbRestartNogoods=7
39.57	       =>  wckTime=8.316  cpuTime=8.24  mem=20M239
44.18	   
44.18	   search
44.18	     run=4  nbConstraintChecks=16590333  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=556
44.18	     nbFailedAssignments=116  nbBacktracks=130  nbVisitedNodes=762  nbRestartNogoods=9
44.18	       =>  wckTime=12.924  cpuTime=12.84  mem=20M239
49.65	   
49.65	   search
49.65	     run=5  nbConstraintChecks=23072335  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=771
49.65	     nbFailedAssignments=188  nbBacktracks=205  nbVisitedNodes=1102  nbRestartNogoods=11
49.65	       =>  wckTime=18.392  cpuTime=18.31  mem=20M239
60.67	   
60.67	   search
60.67	     run=6  nbConstraintChecks=35453392  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1075
60.67	     nbFailedAssignments=299  nbBacktracks=318  nbVisitedNodes=1600  nbRestartNogoods=16
60.67	       =>  wckTime=29.412  cpuTime=29.32  mem=20M239
68.23	   
68.23	   search
68.23	     run=7  nbConstraintChecks=44208104  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1488
68.23	     nbFailedAssignments=456  nbBacktracks=492  nbVisitedNodes=2304  nbRestartNogoods=22
68.23	       =>  wckTime=36.978  cpuTime=36.86  mem=20M239
77.29	   
77.29	   search
77.29	     run=8  nbConstraintChecks=56465934  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2120
77.29	     nbFailedAssignments=745  nbBacktracks=751  nbVisitedNodes=3463  nbRestartNogoods=32
77.29	       =>  wckTime=46.036  cpuTime=45.9  mem=20M239
80.67	   
80.67	   search
80.67	     run=9  nbConstraintChecks=66670797  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2734
80.67	     nbFailedAssignments=840  nbBacktracks=1141  nbVisitedNodes=4541  nbRestartNogoods=36
80.67	       =>  wckTime=49.416  cpuTime=49.26  mem=20M239
85.26	   
85.26	   search
85.26	     run=10  nbConstraintChecks=79889902  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3597
85.26	     nbFailedAssignments=1005  nbBacktracks=1717  nbVisitedNodes=6094  nbRestartNogoods=38
85.26	       =>  wckTime=54.008  cpuTime=53.85  mem=20M239
91.71	   
91.71	   search
91.71	     run=11  nbConstraintChecks=98251341  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4835
91.71	     nbFailedAssignments=1253  nbBacktracks=2585  nbVisitedNodes=8390  nbRestartNogoods=41
91.71	       =>  wckTime=60.457  cpuTime=60.29  mem=20M239
186.57	   
186.57	   search
186.57	     run=12  nbConstraintChecks=190776609  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7500
186.57	     nbFailedAssignments=2563  nbBacktracks=3882  nbVisitedNodes=13500  nbRestartNogoods=46
186.57	       =>  wckTime=155.316  cpuTime=155.07  mem=20M239
202.48	   
202.48	   search
202.48	     run=13  nbConstraintChecks=223856456  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10012
202.48	     nbFailedAssignments=2992  nbBacktracks=5836  nbVisitedNodes=18082  nbRestartNogoods=50
202.48	       =>  wckTime=171.223  cpuTime=170.98  mem=20M239
274.84	   
274.84	   search
274.84	     run=14  nbConstraintChecks=312258800  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13667
274.84	     nbFailedAssignments=3641  nbBacktracks=8759  nbVisitedNodes=24735  nbRestartNogoods=56
274.84	       =>  wckTime=243.585  cpuTime=243.28  mem=20M239
360.70	   
360.70	   search
360.70	     run=15  nbConstraintChecks=413235992  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=19092
360.70	     nbFailedAssignments=4590  nbBacktracks=13138  nbVisitedNodes=34142  nbRestartNogoods=61
360.70	       =>  wckTime=329.444  cpuTime=329.07  mem=20M239
372.71	   
372.71	   search
372.71	     run=16  nbConstraintChecks=421431312  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=19397
372.71	     nbFailedAssignments=4632  nbBacktracks=13402  nbVisitedNodes=34716  nbRestartNogoods=66
372.71	       =>  wckTime=341.455  cpuTime=341.08  mem=20M239
372.71	   
372.71	   global
372.71	     nbConstraintChecks=421431838  nbRestartNogoods=66  solvingWckTime=341.456  solvingCpuTime=341.08  expiredTime=no
372.71	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=371.71
372.71	       =>  wckTime=372.317  cpuTime=371.66  mem=20M239
372.71	
372.71	s OPTIMUM FOUND
372.71	v 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 -1 
372.71	   
372.72	   totalWckTime=372.391  totalCpuTime=371.71

Verifier Data (download as text)

3 unsatisfied constraints, 5298 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/node25/watcher-280721-1169307459 -o ROOT/results/node25/solver-280721-1169307459 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280721-1169307459/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.00 1.00 1.00 4/78 26442
/proc/meminfo: memFree=1358008/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=1784 CPUtime=0
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 279138331 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/26441/statm: 446 136 102 14 0 91 0

[startup+0.107379 s]
/proc/loadavg: 1.00 1.00 1.00 4/78 26442
/proc/meminfo: memFree=1358008/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=47976 CPUtime=0
/proc/26441/stat : 26441 (java) D 26439 26441 25567 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 279138331 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/26441/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976

[startup+0.515447 s]
/proc/loadavg: 1.00 1.00 1.00 4/78 26442
/proc/meminfo: memFree=1358008/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915332 CPUtime=0.39
/proc/26441/stat : 26441 (java) S 26439 26441 25567 0 -1 0 6181 0 1 0 36 3 0 0 16 0 8 0 279138331 937299968 5920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26441/statm: 228833 5920 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915332

[startup+1.34358 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324416/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=1.22
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11058 0 1 0 112 10 0 0 17 0 8 0 279138331 937463808 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073869750 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10796 2476 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 847 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.17
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 383 0 0 0 17 0 0 0 15 0 8 0 279138348 937463808 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915492

[startup+2.98086 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324224/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=2.85
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11062 0 1 0 263 22 0 0 18 0 8 0 279138331 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073869750 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10799 2476 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 847 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.18
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 386 0 0 0 18 0 0 0 16 0 8 0 279138348 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915492

[startup+6.27542 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324232/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=6.14
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11062 0 1 0 575 39 0 0 25 0 8 0 279138331 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866191 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10799 2476 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 847 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.18
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 386 0 0 0 18 0 0 0 16 0 8 0 279138348 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915492

[startup+12.7485 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324232/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=12.61
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11065 0 1 0 1194 67 0 0 25 0 8 0 279138331 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073863969 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10802 2476 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 847 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.18
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 389 0 0 0 18 0 0 0 16 0 8 0 279138348 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915492

[startup+25.5967 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324360/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=25.45
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11065 0 1 0 2412 133 0 0 25 0 8 0 279138331 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073863969 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10802 2476 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 847 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.18
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 389 0 0 0 18 0 0 0 16 0 8 0 279138348 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915492

[startup+51.1991 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324168/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=51.02
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11219 0 1 0 4941 161 0 0 25 0 8 0 279138331 937463808 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073471001 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10948 2528 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 848 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.27
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 440 0 0 0 26 1 0 0 16 0 8 0 279138348 937463808 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 915492

[startup+102.485 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324104/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=102.25
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11240 0 1 0 10064 161 0 0 25 0 8 0 279138331 937463808 10961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983511 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10961 2528 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 848 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.3
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 459 0 0 0 29 1 0 0 16 0 8 0 279138348 937463808 10961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 915492

[startup+162.496 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324104/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=162.22
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11241 0 1 0 16061 161 0 0 25 0 8 0 279138331 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074019103 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10962 2528 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 848 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.3
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 460 0 0 0 29 1 0 0 16 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 915492

[startup+222.514 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324040/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=222.19
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11241 0 1 0 22058 161 0 0 25 0 8 0 279138331 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074075732 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10962 2528 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 848 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.3
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 460 0 0 0 29 1 0 0 16 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 915492

[startup+282.541 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324040/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=282.18
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11241 0 1 0 28056 162 0 0 25 0 8 0 279138331 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983562 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10962 2528 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 848 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.3
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 460 0 0 0 29 1 0 0 16 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 915492

[startup+342.572 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1323976/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=342.17
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11241 0 1 0 34055 162 0 0 25 0 8 0 279138331 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074019144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10962 2528 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 848 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.3
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 460 0 0 0 29 1 0 0 16 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 915492

Child status: 0
Real time (s): 372.735
CPU time (s): 372.296
CPU user time (s): 370.67
CPU system time (s): 1.62675
CPU usage (%): 99.8824
Max. virtual memory (cumulated for all children) (KiB): 915496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 370.67
system time used= 1.62675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11254
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= 8708
involuntary context switches= 13339

runsolver used 0.372943 s user time and 0.971852 s system time

The end

Launcher Data (download as text)

Begin job on node25 on Sat Jan 20 15:37:39 UTC 2007


IDJOB= 280721
IDBENCH= 11927
IDSOLVER= 69
FILE ID= node25/280721-1169307459

PBS_JOBID= 3609896

Free space on /tmp= 66563 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/planning/rovers02ac_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280721-1169307459/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-280721-1169307459 -o ROOT/results/node25/solver-280721-1169307459 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280721-1169307459/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b5f2943b448e76146b4533d5d650253e

RANDOM SEED= 970985523

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.279
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.279
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:       1358360 kB
Buffers:         45080 kB
Cached:         548152 kB
SwapCached:       8568 kB
Active:         203276 kB
Inactive:       420204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1358360 kB
SwapTotal:     4192956 kB
SwapFree:      4170284 kB
Dirty:            2140 kB
Writeback:           0 kB
Mapped:          38148 kB
Slab:            59360 kB
Committed_AS:  5161084 kB
PageTables:       1940 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 node25 on Sat Jan 20 15:43:52 UTC 2007