Trace number 283015

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 EPFCOPTIMUM 434.306 437.807

General information on the benchmark

Namecoloring/
myciel-5g-3-ext.xml
MD5SUMe1aedd11c2458b29f711a3b3fe14039f
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints220
Best CPU time to get the best result obtained on this benchmark3.07853
SatisfiableNO
(Un)Satisfiability was proved
Number of variables47
Number of constraints236
Maximum constraint arity2
Maximum domain size3
Number of constraints which are defined in extension236
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/283015-1169325178/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=47  nbDomainTypes=1  minDomainSize=3  maxDomainSize=3
0.42	       =>  wckTime=0.101  cpuTime=0.09  mem=6M887
0.42	   
0.42	   relations being loaded...
0.43	   
0.43	   constraints being loaded...
0.50	     nbConstraints=236  nbRelationTypes=1  nbExtensionStructures=1  nbSharedExtensionStructures=235
0.50	     nbConflictsStructures=1  nbSharedConflictsStructures=235  nbSharedBinaryRepresentations=3  maxDegree=23  maxArity=2
0.50	       =>  wckTime=0.178  cpuTime=0.14  mem=8M837
0.54	   
0.54	   solver LocalSearchSolver being built... 
0.58	       =>  wckTime=0.262  cpuTime=0.18  mem=5M487
0.59	
0.59	s SATISFIABLE
0.59	o 156
0.59	c 80
0.59	o 164
0.59	c 72
0.59	o 170
0.59	c 66
0.59	o 173
0.59	c 63
0.59	o 176
0.59	c 60
0.59	o 180
0.59	c 56
0.59	o 181
0.59	c 55
0.59	o 186
0.59	c 50
0.59	o 191
0.59	c 45
0.59	o 195
0.59	c 41
0.60	o 198
0.60	c 38
0.60	o 202
0.60	c 34
0.60	o 206
0.60	c 30
0.60	o 207
0.60	c 29
0.60	o 208
0.60	c 28
0.60	o 209
0.60	c 27
0.60	o 210
0.60	c 26
0.61	o 211
0.61	c 25
0.61	o 212
0.61	c 24
0.61	o 213
0.61	c 23
0.61	o 214
0.61	c 22
0.62	o 217
0.62	c 19
0.62	o 218
0.62	c 18
0.66	o 219
0.66	c 17
0.70	o 220
0.70	c 16
1.70	   
1.70	   search
1.70	     run=0  nbConstraintChecks=3515817  nbAssignments=10000
1.70	       =>  wckTime=1.122  cpuTime=1.09  mem=5M487
2.76	   
2.76	   search
2.76	     run=1  nbConstraintChecks=7024578  nbAssignments=20000
2.76	       =>  wckTime=2.178  cpuTime=2.13  mem=5M487
3.80	   
3.80	   search
3.80	     run=2  nbConstraintChecks=10474208  nbAssignments=30000
3.80	       =>  wckTime=3.219  cpuTime=3.17  mem=5M487
4.87	   
4.87	   search
4.87	     run=3  nbConstraintChecks=14120714  nbAssignments=40000
4.87	       =>  wckTime=4.288  cpuTime=4.23  mem=5M487
5.92	   
5.92	   search
5.92	     run=4  nbConstraintChecks=17665993  nbAssignments=50000
5.92	       =>  wckTime=5.339  cpuTime=5.26  mem=5M487
6.99	   
6.99	   search
6.99	     run=5  nbConstraintChecks=21293388  nbAssignments=60000
6.99	       =>  wckTime=6.407  cpuTime=6.33  mem=5M487
8.03	   
8.03	   search
8.03	     run=6  nbConstraintChecks=24721597  nbAssignments=70000
8.03	       =>  wckTime=7.446  cpuTime=7.36  mem=5M487
9.11	   
9.11	   search
9.11	     run=7  nbConstraintChecks=28567120  nbAssignments=80000
9.11	       =>  wckTime=8.533  cpuTime=8.44  mem=5M487
10.16	   
10.16	   search
10.16	     run=8  nbConstraintChecks=32065485  nbAssignments=90000
10.16	       =>  wckTime=9.578  cpuTime=9.48  mem=5M487
11.24	   
11.24	   search
11.24	     run=9  nbConstraintChecks=35714180  nbAssignments=100000
11.24	       =>  wckTime=10.658  cpuTime=10.55  mem=5M487
12.29	   
12.29	   search
12.29	     run=10  nbConstraintChecks=39191503  nbAssignments=110000
12.29	       =>  wckTime=11.712  cpuTime=11.59  mem=5M487
13.37	   
13.37	   search
13.37	     run=11  nbConstraintChecks=42734009  nbAssignments=120000
13.37	       =>  wckTime=12.785  cpuTime=12.66  mem=5M487
14.42	   
14.42	   search
14.42	     run=12  nbConstraintChecks=46165249  nbAssignments=130000
14.42	       =>  wckTime=13.839  cpuTime=13.7  mem=5M487
15.50	   
15.50	   search
15.50	     run=13  nbConstraintChecks=49877224  nbAssignments=140000
15.50	       =>  wckTime=14.923  cpuTime=14.78  mem=5M487
16.56	   
16.56	   search
16.56	     run=14  nbConstraintChecks=53382880  nbAssignments=150000
16.56	       =>  wckTime=15.983  cpuTime=15.83  mem=5M487
17.64	   
17.64	   search
17.64	     run=15  nbConstraintChecks=56942786  nbAssignments=160000
17.64	       =>  wckTime=17.056  cpuTime=16.89  mem=5M487
18.70	   
18.70	   search
18.70	     run=16  nbConstraintChecks=60432988  nbAssignments=170000
18.70	       =>  wckTime=18.115  cpuTime=17.94  mem=5M487
19.77	   
19.77	   search
19.78	     run=17  nbConstraintChecks=64047184  nbAssignments=180000
19.78	       =>  wckTime=19.194  cpuTime=19.01  mem=5M487
20.82	   
20.82	   search
20.82	     run=18  nbConstraintChecks=67489590  nbAssignments=190000
20.82	       =>  wckTime=20.242  cpuTime=20.05  mem=5M487
21.91	   
21.91	   search
21.91	     run=19  nbConstraintChecks=71238877  nbAssignments=200000
21.91	       =>  wckTime=21.325  cpuTime=21.12  mem=5M487
22.96	   
22.96	   search
22.96	     run=20  nbConstraintChecks=74787679  nbAssignments=210000
22.96	       =>  wckTime=22.38  cpuTime=22.16  mem=5M487
24.01	   
24.01	   search
24.01	     run=21  nbConstraintChecks=78232932  nbAssignments=220000
24.01	       =>  wckTime=23.431  cpuTime=23.2  mem=5M487
25.06	   
25.06	   search
25.06	     run=22  nbConstraintChecks=81694842  nbAssignments=230000
25.06	       =>  wckTime=24.479  cpuTime=24.25  mem=5M487
26.16	   
26.16	   search
26.16	     run=23  nbConstraintChecks=85616133  nbAssignments=240000
26.16	       =>  wckTime=25.574  cpuTime=25.34  mem=5M487
27.21	   
27.21	   search
27.22	     run=24  nbConstraintChecks=89196199  nbAssignments=250000
27.22	       =>  wckTime=26.634  cpuTime=26.38  mem=5M487
28.28	   
28.28	   search
28.28	     run=25  nbConstraintChecks=92770433  nbAssignments=260000
28.28	       =>  wckTime=27.694  cpuTime=27.44  mem=5M487
29.32	   
29.32	   search
29.32	     run=26  nbConstraintChecks=96246015  nbAssignments=270000
29.32	       =>  wckTime=28.738  cpuTime=28.48  mem=5M487
30.40	   
30.40	   search
30.40	     run=27  nbConstraintChecks=99938634  nbAssignments=280000
30.40	       =>  wckTime=29.816  cpuTime=29.54  mem=5M487
30.97	   
30.97	   search
30.97	     run=28  nbConstraintChecks=101781549  nbAssignments=285443
30.97	       =>  wckTime=30.388  cpuTime=30.11  mem=5M487
30.97	   
30.97	   global
30.97	     nbConstraintChecks=101781549  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.97	     solvingWckTime=30.385  solvingCpuTime=30.11  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.97	     globalCpuTime=30.34
30.97	       =>  wckTime=30.649  cpuTime=30.29  mem=5M487
30.97	   
30.97	   solver IterativeSystematicSolver being built... 
31.11	       =>  wckTime=30.783  cpuTime=30.4  mem=16M525
31.15	   
31.15	   preprocessing
31.15	     nbConstraintChecks=20804  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.15	     detectedInconsistency=no
31.15	       =>  wckTime=0.046  cpuTime=0.02  mem=16M525
31.18	   
31.18	   search
31.18	     run=0  nbConstraintChecks=27287  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=42
31.18	     nbFailedAssignments=11  nbBacktracks=11  nbVisitedNodes=65  nbRestartNogoods=0
31.18	       =>  wckTime=0.071  cpuTime=0.05  mem=16M525
31.22	   
31.22	   search
31.22	     run=1  nbConstraintChecks=67930  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=102
31.22	     nbFailedAssignments=33  nbBacktracks=26  nbVisitedNodes=162  nbRestartNogoods=2
31.22	       =>  wckTime=0.113  cpuTime=0.07  mem=16M525
31.25	   
31.25	   search
31.25	     run=2  nbConstraintChecks=120040  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=172
31.25	     nbFailedAssignments=60  nbBacktracks=48  nbVisitedNodes=281  nbRestartNogoods=8
31.25	       =>  wckTime=0.141  cpuTime=0.1  mem=16M525
31.28	   
31.28	   search
31.28	     run=3  nbConstraintChecks=197830  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=268
31.28	     nbFailedAssignments=97  nbBacktracks=81  nbVisitedNodes=447  nbRestartNogoods=12
31.28	       =>  wckTime=0.173  cpuTime=0.13  mem=16M525
31.34	   
31.34	   search
31.34	     run=4  nbConstraintChecks=322587  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=416
31.34	     nbFailedAssignments=181  nbBacktracks=131  nbVisitedNodes=727  nbRestartNogoods=13
31.34	       =>  wckTime=0.232  cpuTime=0.2  mem=16M525
31.42	   
31.42	   search
31.42	     run=5  nbConstraintChecks=505519  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=632
31.42	     nbFailedAssignments=296  nbBacktracks=207  nbVisitedNodes=1134  nbRestartNogoods=14
31.42	       =>  wckTime=0.314  cpuTime=0.28  mem=16M525
31.53	   
31.53	   search
31.53	     run=6  nbConstraintChecks=737942  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=913
31.53	     nbFailedAssignments=450  nbBacktracks=320  nbVisitedNodes=1677  nbRestartNogoods=20
31.53	       =>  wckTime=0.427  cpuTime=0.39  mem=16M525
31.68	   
31.68	   search
31.68	     run=7  nbConstraintChecks=1030770  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1258
31.68	     nbFailedAssignments=609  nbBacktracks=491  nbVisitedNodes=2350  nbRestartNogoods=24
31.68	       =>  wckTime=0.569  cpuTime=0.52  mem=16M525
31.89	   
31.89	   search
31.89	     run=8  nbConstraintChecks=1581036  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1828
31.89	     nbFailedAssignments=897  nbBacktracks=749  nbVisitedNodes=3460  nbRestartNogoods=25
31.89	       =>  wckTime=0.788  cpuTime=0.72  mem=16M525
32.16	   
32.16	   search
32.16	     run=9  nbConstraintChecks=2316386  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2614
32.16	     nbFailedAssignments=1272  nbBacktracks=1133  nbVisitedNodes=4974  nbRestartNogoods=29
32.16	       =>  wckTime=1.056  cpuTime=0.98  mem=16M525
32.66	   
32.66	   search
32.66	     run=10  nbConstraintChecks=3412338  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3895
32.66	     nbFailedAssignments=1960  nbBacktracks=1709  nbVisitedNodes=7426  nbRestartNogoods=33
32.66	       =>  wckTime=1.554  cpuTime=1.47  mem=16M525
33.27	   
33.27	   search
33.27	     run=11  nbConstraintChecks=5186716  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5695
33.27	     nbFailedAssignments=2869  nbBacktracks=2575  nbVisitedNodes=10952  nbRestartNogoods=41
33.27	       =>  wckTime=2.165  cpuTime=2.07  mem=16M525
34.28	   
34.28	   search
34.28	     run=12  nbConstraintChecks=7540905  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8418
34.28	     nbFailedAssignments=4278  nbBacktracks=3872  nbVisitedNodes=16210  nbRestartNogoods=45
34.28	       =>  wckTime=3.175  cpuTime=3.07  mem=16M525
35.75	   
35.75	   search
35.75	     run=13  nbConstraintChecks=11446256  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12541
35.75	     nbFailedAssignments=6433  nbBacktracks=5818  nbVisitedNodes=24231  nbRestartNogoods=53
35.75	       =>  wckTime=4.643  cpuTime=4.53  mem=16M525
37.76	   
37.76	   search
37.76	     run=14  nbConstraintChecks=16743415  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=18323
37.76	     nbFailedAssignments=9273  nbBacktracks=8737  nbVisitedNodes=35348  nbRestartNogoods=62
37.76	       =>  wckTime=6.65  cpuTime=6.52  mem=16M525
41.21	   
41.21	   search
41.21	     run=15  nbConstraintChecks=23859989  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=26851
41.21	     nbFailedAssignments=13411  nbBacktracks=13115  nbVisitedNodes=51621  nbRestartNogoods=70
41.21	       =>  wckTime=10.099  cpuTime=9.94  mem=16M525
46.09	   
46.09	   search
46.09	     run=16  nbConstraintChecks=34056946  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=39184
46.09	     nbFailedAssignments=19165  nbBacktracks=19683  nbVisitedNodes=75666  nbRestartNogoods=80
46.09	       =>  wckTime=14.982  cpuTime=14.78  mem=16M525
52.75	   
52.75	   search
52.75	     run=17  nbConstraintChecks=49315145  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=57434
52.75	     nbFailedAssignments=27555  nbBacktracks=29535  nbVisitedNodes=109878  nbRestartNogoods=88
52.75	       =>  wckTime=21.645  cpuTime=21.39  mem=16M525
62.19	   
62.19	   search
62.19	     run=18  nbConstraintChecks=70705344  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=84015
62.19	     nbFailedAssignments=39348  nbBacktracks=44315  nbVisitedNodes=157834  nbRestartNogoods=100
62.19	       =>  wckTime=31.08  cpuTime=30.76  mem=16M525
76.84	   
76.84	   search
76.84	     run=19  nbConstraintChecks=100452314  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=122676
76.84	     nbFailedAssignments=55830  nbBacktracks=66483  nbVisitedNodes=227564  nbRestartNogoods=112
76.84	       =>  wckTime=45.733  cpuTime=45.3  mem=16M525
98.33	   
98.38	   search
98.38	     run=20  nbConstraintChecks=141906438  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=179228
98.38	     nbFailedAssignments=79116  nbBacktracks=99735  nbVisitedNodes=329174  nbRestartNogoods=124
98.38	       =>  wckTime=67.22  cpuTime=66.61  mem=16M525
129.68	   
129.68	   search
129.68	     run=21  nbConstraintChecks=199156289  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=261337
129.68	     nbFailedAssignments=111333  nbBacktracks=149615  nbVisitedNodes=474215  nbRestartNogoods=131
129.68	       =>  wckTime=98.571  cpuTime=97.72  mem=16M525
174.85	   
174.85	   search
174.85	     run=22  nbConstraintChecks=284240920  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=383569
174.86	     nbFailedAssignments=158735  nbBacktracks=224434  nbVisitedNodes=690530  nbRestartNogoods=142
174.86	       =>  wckTime=143.748  cpuTime=142.53  mem=16M525
242.19	   
242.19	   search
242.19	     run=23  nbConstraintChecks=409148579  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=563573
242.19	     nbFailedAssignments=226498  nbBacktracks=336662  nbVisitedNodes=1006197  nbRestartNogoods=151
242.19	       =>  wckTime=211.084  cpuTime=209.32  mem=16M525
344.85	   
344.85	   search
344.85	     run=24  nbConstraintChecks=591226279  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=832050
344.85	     nbFailedAssignments=326622  nbBacktracks=505004  nbVisitedNodes=1472026  nbRestartNogoods=163
344.85	       =>  wckTime=313.748  cpuTime=311.19  mem=16M525
437.75	   
437.75	   search
437.75	     run=25  nbConstraintChecks=752223585  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1072032
437.75	     nbFailedAssignments=414804  nbBacktracks=656805  nbVisitedNodes=1885001  nbRestartNogoods=172
437.75	       =>  wckTime=406.644  cpuTime=403.38  mem=16M525
437.75	   
437.75	   global
437.75	     nbConstraintChecks=752244389  nbRestartNogoods=172  solvingWckTime=406.645  solvingCpuTime=403.38  expiredTime=no
437.75	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=433.83
437.75	       =>  wckTime=437.429  cpuTime=433.78  mem=16M525
437.76	
437.76	s OPTIMUM FOUND
437.76	v 0 0 0 0 0 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 1 0 2 2 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 2 1 2 0 
437.76	   
437.76	   totalWckTime=437.512  totalCpuTime=433.83

Verifier Data (download as text)

16 unsatisfied constraints, 220 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/node48/watcher-283015-1169325178 -o ROOT/results/node48/solver-283015-1169325178 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/283015-1169325178/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.92 1.97 1.81 4/73 27679
/proc/meminfo: memFree=1374600/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=18540 CPUtime=0
/proc/27678/stat : 27678 (runsolver) R 27676 27678 27520 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 280916497 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 255539604775 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27678/statm: 4635 279 244 17 0 2626 0

[startup+0.107673 s]
/proc/loadavg: 1.92 1.97 1.81 4/73 27679
/proc/meminfo: memFree=1374600/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=914988 CPUtime=0.09
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 2988 0 1 0 7 2 0 0 17 0 8 0 280916497 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155071742 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515713 s]
/proc/loadavg: 1.92 1.97 1.81 4/73 27679
/proc/meminfo: memFree=1374600/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=0.48
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 6524 0 1 0 45 3 0 0 18 0 8 0 280916497 937299968 6262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 6262 2163 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33678 s]
/proc/loadavg: 1.92 1.97 1.81 3/80 27686
/proc/meminfo: memFree=1357264/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=1.29
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 7018 0 1 0 99 30 0 0 25 0 8 0 280916497 937299968 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073615913 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 6756 2479 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.1
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 318 0 0 0 10 0 0 0 16 0 8 0 280916505 937299968 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915332

[startup+2.97393 s]
/proc/loadavg: 1.92 1.97 1.81 3/80 27686
/proc/meminfo: memFree=1357200/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915336 CPUtime=2.92
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 7022 0 1 0 200 92 0 0 25 0 8 0 280916497 937304064 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228834 6759 2480 14 0 215304 0
[pid=27678/tid=27680] ppid=27676 vsize=915336 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280916501 937304064 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915336 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937304064 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915336 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937304064 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915336 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937304064 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915336 CPUtime=0.11
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 320 0 0 0 11 0 0 0 16 0 8 0 280916505 937304064 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915336 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937304064 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915336 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937304064 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915336

[startup+6.17522 s]
/proc/loadavg: 1.93 1.97 1.81 3/80 27686
/proc/meminfo: memFree=1357264/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=6.09
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 7023 0 1 0 400 209 0 0 25 0 8 0 280916497 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073615841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 6760 2480 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.11
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 321 0 0 0 11 0 0 0 16 0 8 0 280916505 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915332

[startup+12.6428 s]
/proc/loadavg: 1.93 1.97 1.81 3/80 27686
/proc/meminfo: memFree=1357328/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=12.51
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 7023 0 1 0 809 442 0 0 25 0 8 0 280916497 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073615933 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 6760 2480 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.11
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 321 0 0 0 11 0 0 0 16 0 8 0 280916505 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915332

[startup+25.504 s]
/proc/loadavg: 1.95 1.97 1.81 3/80 27686
/proc/meminfo: memFree=1357392/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=25.26
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 7024 0 1 0 1611 915 0 0 25 0 8 0 280916497 937299968 6761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073615785 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 6761 2480 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 6761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 6761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 6761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 6761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.11
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 322 0 0 0 11 0 0 0 16 0 8 0 280916505 937299968 6761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 6761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 6761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915332

[startup+51.1154 s]
/proc/loadavg: 1.96 1.97 1.82 3/80 27686
/proc/meminfo: memFree=1349584/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=50.66
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 9051 0 1 0 3945 1121 0 0 25 0 8 0 280916497 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 8785 2533 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.21
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 378 0 0 0 21 0 0 0 16 0 8 0 280916505 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915332

[startup+102.41 s]
/proc/loadavg: 1.98 1.97 1.82 3/80 27686
/proc/meminfo: memFree=1349584/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=101.56
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 9062 0 1 0 9035 1121 0 0 25 0 8 0 280916497 937299968 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 8794 2533 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.21
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 378 0 0 0 21 0 0 0 16 0 8 0 280916505 937299968 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915332

[startup+162.445 s]
/proc/loadavg: 1.99 1.97 1.83 3/80 27686
/proc/meminfo: memFree=1349520/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=161.13
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 9066 0 1 0 14991 1122 0 0 25 0 8 0 280916497 937299968 8797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744273 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 8797 2533 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 8797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 8797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 8797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 8797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.21
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 378 0 0 0 21 0 0 0 16 0 8 0 280916505 937299968 8797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 8797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 8797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.13
Current children cumulated vsize (KiB) 915332

[startup+222.482 s]
/proc/loadavg: 1.99 1.97 1.83 3/80 27686
/proc/meminfo: memFree=1349520/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=220.68
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 9068 0 1 0 20946 1122 0 0 25 0 8 0 280916497 937299968 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781490 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 8799 2533 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.21
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 378 0 0 0 21 0 0 0 16 0 8 0 280916505 937299968 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.68
Current children cumulated vsize (KiB) 915332

[startup+282.519 s]
/proc/loadavg: 1.99 1.97 1.84 3/80 27686
/proc/meminfo: memFree=1349520/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=280.23
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 9071 0 1 0 26901 1122 0 0 25 0 8 0 280916497 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727303 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 8802 2533 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.21
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 378 0 0 0 21 0 0 0 16 0 8 0 280916505 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.23
Current children cumulated vsize (KiB) 915332

[startup+342.558 s]
/proc/loadavg: 1.99 1.97 1.85 3/80 27686
/proc/meminfo: memFree=1349456/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=339.81
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 9071 0 1 0 32859 1122 0 0 25 0 8 0 280916497 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073728098 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 8802 2533 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.21
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 378 0 0 0 21 0 0 0 16 0 8 0 280916505 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.81
Current children cumulated vsize (KiB) 915332

[startup+402.595 s]
/proc/loadavg: 1.99 1.97 1.85 3/80 27686
/proc/meminfo: memFree=1349520/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=399.39
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 9073 0 1 0 38816 1123 0 0 25 0 8 0 280916497 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073771408 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 8804 2533 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.21
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 378 0 0 0 21 0 0 0 16 0 8 0 280916505 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.39
Current children cumulated vsize (KiB) 915332

Child status: 0
Real time (s): 437.807
CPU time (s): 434.306
CPU user time (s): 423.069
CPU system time (s): 11.2373
CPU usage (%): 99.2003
Max. virtual memory (cumulated for all children) (KiB): 915336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 423.069
system time used= 11.2373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9171
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= 9932
involuntary context switches= 17625

runsolver used 0.451931 s user time and 1.17482 s system time

The end

Launcher Data (download as text)

Begin job on node48 on Sat Jan 20 20:32:58 UTC 2007


IDJOB= 283015
IDBENCH= 12979
IDSOLVER= 68
FILE ID= node48/283015-1169325178

PBS_JOBID= 3610495

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/coloring/myciel-5g-3-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/283015-1169325178/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-283015-1169325178 -o ROOT/results/node48/solver-283015-1169325178 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/283015-1169325178/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e1aedd11c2458b29f711a3b3fe14039f

RANDOM SEED= 589563115

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1375080 kB
Buffers:         51468 kB
Cached:         520752 kB
SwapCached:          0 kB
Active:         149736 kB
Inactive:       451400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1375080 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1844 kB
Writeback:           0 kB
Mapped:          40380 kB
Slab:            65068 kB
Committed_AS:  5953912 kB
PageTables:       1704 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node48 on Sat Jan 20 20:40:16 UTC 2007