Trace number 281611

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 230 231.761

General information on the benchmark

NameMaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-19_ext.xml
MD5SUMcba5e24368c638c5a48356d2befa4fd2
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints45
Best CPU time to get the best result obtained on this benchmark1.67075
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints63
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension63
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=epfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/281611-1169313233/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=25  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.39	       =>  wckTime=0.094  cpuTime=0.08  mem=6M887
0.39	   
0.39	   relations being loaded...
0.43	   
0.43	   constraints being loaded...
0.47	     nbConstraints=63  nbRelationTypes=63  nbExtensionStructures=63  nbSharedExtensionStructures=0
0.47	     nbConflictsStructures=63  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1067  maxDegree=9
0.47	     maxArity=2
0.47	       =>  wckTime=0.172  cpuTime=0.12  mem=7M879
0.51	   
0.51	   solver LocalSearchSolver being built... 
0.55	       =>  wckTime=0.252  cpuTime=0.16  mem=5M428
0.55	
0.55	s SATISFIABLE
0.55	o 11
0.56	c 52
0.56	o 14
0.56	c 49
0.56	o 16
0.56	c 47
0.56	o 18
0.56	c 45
0.56	o 20
0.56	c 43
0.56	o 22
0.56	c 41
0.56	o 23
0.56	c 40
0.56	o 24
0.56	c 39
0.56	o 26
0.56	c 37
0.57	o 27
0.57	c 36
0.57	o 28
0.57	c 35
0.57	o 29
0.57	c 34
0.57	o 31
0.57	c 32
0.57	o 32
0.57	c 31
0.57	o 33
0.57	c 30
0.57	o 34
0.57	c 29
0.57	o 35
0.57	c 28
0.57	o 37
0.57	c 26
0.57	o 38
0.57	c 25
0.57	o 39
0.57	c 24
0.57	o 40
0.57	c 23
0.57	o 41
0.57	c 22
0.64	o 42
0.64	c 21
0.64	o 43
0.64	c 20
0.86	o 44
0.86	c 19
0.86	o 45
0.86	c 18
1.82	   
1.82	   search
1.82	     run=0  nbConstraintChecks=6552644  nbAssignments=10000
1.82	       =>  wckTime=1.266  cpuTime=1.25  mem=5M428
3.03	   
3.03	   search
3.03	     run=1  nbConstraintChecks=13068148  nbAssignments=20000
3.03	       =>  wckTime=2.482  cpuTime=2.46  mem=5M428
4.27	   
4.27	   search
4.27	     run=2  nbConstraintChecks=19720882  nbAssignments=30000
4.27	       =>  wckTime=3.718  cpuTime=3.68  mem=5M428
5.50	   
5.50	   search
5.50	     run=3  nbConstraintChecks=26327497  nbAssignments=40000
5.50	       =>  wckTime=4.953  cpuTime=4.92  mem=5M428
6.75	   
6.75	   search
6.75	     run=4  nbConstraintChecks=32997791  nbAssignments=50000
6.75	       =>  wckTime=6.196  cpuTime=6.16  mem=5M428
7.99	   
7.99	   search
7.99	     run=5  nbConstraintChecks=39503322  nbAssignments=60000
7.99	       =>  wckTime=7.442  cpuTime=7.38  mem=5M428
9.23	   
9.23	   search
9.23	     run=6  nbConstraintChecks=46066448  nbAssignments=70000
9.23	       =>  wckTime=8.681  cpuTime=8.61  mem=5M428
10.47	   
10.47	   search
10.47	     run=7  nbConstraintChecks=52613939  nbAssignments=80000
10.47	       =>  wckTime=9.916  cpuTime=9.84  mem=5M428
11.70	   
11.70	   search
11.70	     run=8  nbConstraintChecks=59131103  nbAssignments=90000
11.70	       =>  wckTime=11.151  cpuTime=11.07  mem=5M428
12.96	   
12.96	   search
12.96	     run=9  nbConstraintChecks=65861614  nbAssignments=100000
12.96	       =>  wckTime=12.407  cpuTime=12.31  mem=5M428
14.18	   
14.18	   search
14.18	     run=10  nbConstraintChecks=72434691  nbAssignments=110000
14.18	       =>  wckTime=13.633  cpuTime=13.53  mem=5M428
15.42	   
15.42	   search
15.42	     run=11  nbConstraintChecks=79073791  nbAssignments=120000
15.42	       =>  wckTime=14.869  cpuTime=14.76  mem=5M428
16.65	   
16.65	   search
16.65	     run=12  nbConstraintChecks=85688838  nbAssignments=130000
16.65	       =>  wckTime=16.104  cpuTime=15.99  mem=5M428
17.89	   
17.89	   search
17.89	     run=13  nbConstraintChecks=92258133  nbAssignments=140000
17.89	       =>  wckTime=17.336  cpuTime=17.22  mem=5M428
19.12	   
19.12	   search
19.12	     run=14  nbConstraintChecks=98850292  nbAssignments=150000
19.12	       =>  wckTime=18.567  cpuTime=18.43  mem=5M428
20.35	   
20.35	   search
20.35	     run=15  nbConstraintChecks=105404477  nbAssignments=160000
20.35	       =>  wckTime=19.802  cpuTime=19.65  mem=5M428
21.61	   
21.61	   search
21.61	     run=16  nbConstraintChecks=112092967  nbAssignments=170000
21.61	       =>  wckTime=21.056  cpuTime=20.89  mem=5M428
22.84	   
22.84	   search
22.84	     run=17  nbConstraintChecks=118698624  nbAssignments=180000
22.84	       =>  wckTime=22.29  cpuTime=22.11  mem=5M428
24.08	   
24.08	   search
24.08	     run=18  nbConstraintChecks=125256975  nbAssignments=190000
24.08	       =>  wckTime=23.527  cpuTime=23.34  mem=5M428
25.31	   
25.31	   search
25.31	     run=19  nbConstraintChecks=131768032  nbAssignments=200000
25.31	       =>  wckTime=24.758  cpuTime=24.56  mem=5M428
26.55	   
26.55	   search
26.55	     run=20  nbConstraintChecks=138343566  nbAssignments=210000
26.55	       =>  wckTime=26.002  cpuTime=25.79  mem=5M428
27.80	   
27.80	   search
27.80	     run=21  nbConstraintChecks=144991038  nbAssignments=220000
27.80	       =>  wckTime=27.247  cpuTime=27.04  mem=5M428
29.05	   
29.05	   search
29.05	     run=22  nbConstraintChecks=151638778  nbAssignments=230000
29.05	       =>  wckTime=28.496  cpuTime=28.27  mem=5M428
30.29	   
30.30	   search
30.30	     run=23  nbConstraintChecks=158316867  nbAssignments=240000
30.30	       =>  wckTime=29.745  cpuTime=29.52  mem=5M428
31.09	   
31.09	   search
31.09	     run=24  nbConstraintChecks=162491515  nbAssignments=246383
31.09	       =>  wckTime=30.538  cpuTime=30.3  mem=5M428
31.09	   
31.09	   global
31.09	     nbConstraintChecks=162491515  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.09	     solvingWckTime=30.537  solvingCpuTime=30.3  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.09	     globalCpuTime=30.51
31.09	       =>  wckTime=30.791  cpuTime=30.46  mem=5M428
31.09	   
31.09	   solver IterativeSystematicSolver being built... 
31.22	       =>  wckTime=30.919  cpuTime=30.57  mem=16M417
31.25	   
31.25	   preprocessing
31.25	     nbConstraintChecks=31172  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.25	     detectedInconsistency=no
31.25	       =>  wckTime=0.033  cpuTime=0.01  mem=16M417
31.29	   
31.29	   search
31.29	     run=0  nbConstraintChecks=84737  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=46
31.29	     nbFailedAssignments=34  nbBacktracks=10  nbVisitedNodes=91  nbRestartNogoods=0
31.29	       =>  wckTime=0.075  cpuTime=0.05  mem=16M417
31.34	   
31.34	   search
31.34	     run=1  nbConstraintChecks=211498  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=120
31.34	     nbFailedAssignments=86  nbBacktracks=26  nbVisitedNodes=233  nbRestartNogoods=1
31.34	       =>  wckTime=0.118  cpuTime=0.08  mem=16M417
31.40	   
31.40	   search
31.40	     run=2  nbConstraintChecks=429913  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=249
31.40	     nbFailedAssignments=184  nbBacktracks=49  nbVisitedNodes=481  nbRestartNogoods=7
31.40	       =>  wckTime=0.177  cpuTime=0.14  mem=16M417
31.48	   
31.48	   search
31.48	     run=3  nbConstraintChecks=740290  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=439
31.48	     nbFailedAssignments=333  nbBacktracks=83  nbVisitedNodes=854  nbRestartNogoods=21
31.48	       =>  wckTime=0.262  cpuTime=0.22  mem=16M417
31.59	   
31.59	   search
31.59	     run=4  nbConstraintChecks=1069732  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=624
31.59	     nbFailedAssignments=463  nbBacktracks=134  nbVisitedNodes=1220  nbRestartNogoods=31
31.59	       =>  wckTime=0.367  cpuTime=0.3  mem=16M417
31.73	   
31.73	   search
31.73	     run=5  nbConstraintChecks=1591467  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=914
31.73	     nbFailedAssignments=672  nbBacktracks=209  nbVisitedNodes=1794  nbRestartNogoods=35
31.73	       =>  wckTime=0.512  cpuTime=0.43  mem=16M417
31.95	   
31.95	   search
31.95	     run=6  nbConstraintChecks=2412623  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1364
31.95	     nbFailedAssignments=1003  nbBacktracks=322  nbVisitedNodes=2674  nbRestartNogoods=52
31.95	       =>  wckTime=0.736  cpuTime=0.65  mem=16M417
32.21	   
32.21	   search
32.21	     run=7  nbConstraintChecks=3392562  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1911
32.21	     nbFailedAssignments=1373  nbBacktracks=493  nbVisitedNodes=3762  nbRestartNogoods=68
32.21	       =>  wckTime=0.994  cpuTime=0.9  mem=16M417
32.63	   
32.63	   search
32.63	     run=8  nbConstraintChecks=4979730  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2770
32.63	     nbFailedAssignments=1971  nbBacktracks=749  nbVisitedNodes=5469  nbRestartNogoods=88
32.63	       =>  wckTime=1.413  cpuTime=1.31  mem=16M417
33.31	   
33.31	   search
33.31	     run=9  nbConstraintChecks=7591356  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4230
33.31	     nbFailedAssignments=3044  nbBacktracks=1133  nbVisitedNodes=8357  nbRestartNogoods=105
33.31	       =>  wckTime=2.09  cpuTime=1.98  mem=16M417
34.28	   
34.28	   search
34.28	     run=10  nbConstraintChecks=11941262  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6680
34.28	     nbFailedAssignments=4912  nbBacktracks=1709  nbVisitedNodes=13230  nbRestartNogoods=120
34.28	       =>  wckTime=3.058  cpuTime=2.94  mem=16M417
35.47	   
35.47	   search
35.47	     run=11  nbConstraintChecks=16845899  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9451
35.47	     nbFailedAssignments=6814  nbBacktracks=2573  nbVisitedNodes=18766  nbRestartNogoods=139
35.47	       =>  wckTime=4.25  cpuTime=4.12  mem=16M417
37.63	   
37.63	   search
37.63	     run=12  nbConstraintChecks=25660140  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14274
37.63	     nbFailedAssignments=10336  nbBacktracks=3870  nbVisitedNodes=28369  nbRestartNogoods=154
37.63	       =>  wckTime=6.412  cpuTime=6.27  mem=16M417
40.59	   
40.59	   search
40.59	     run=13  nbConstraintChecks=37889767  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21007
40.59	     nbFailedAssignments=15119  nbBacktracks=5816  nbVisitedNodes=41736  nbRestartNogoods=170
40.59	       =>  wckTime=9.373  cpuTime=9.21  mem=16M417
44.89	   
44.89	   search
44.89	     run=14  nbConstraintChecks=55783354  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=31197
44.89	     nbFailedAssignments=22381  nbBacktracks=8735  nbVisitedNodes=62089  nbRestartNogoods=195
44.89	       =>  wckTime=13.673  cpuTime=13.48  mem=16M417
51.33	   
51.33	   search
51.33	     run=15  nbConstraintChecks=81420200  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=46587
51.33	     nbFailedAssignments=33389  nbBacktracks=13113  nbVisitedNodes=92783  nbRestartNogoods=210
51.33	       =>  wckTime=20.116  cpuTime=19.87  mem=16M417
59.84	   
59.84	   search
59.84	     run=16  nbConstraintChecks=115856127  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=67305
59.84	     nbFailedAssignments=47533  nbBacktracks=19683  nbVisitedNodes=133990  nbRestartNogoods=229
59.84	       =>  wckTime=28.625  cpuTime=28.32  mem=16M417
72.29	   
72.29	   search
72.29	     run=17  nbConstraintChecks=166527909  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=97221
72.29	     nbFailedAssignments=67594  nbBacktracks=29535  nbVisitedNodes=193557  nbRestartNogoods=249
72.29	       =>  wckTime=41.071  cpuTime=40.66  mem=16M417
91.36	   
91.36	   search
91.36	     run=18  nbConstraintChecks=244708164  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=144925
91.36	     nbFailedAssignments=100515  nbBacktracks=44314  nbVisitedNodes=288596  nbRestartNogoods=266
91.36	       =>  wckTime=60.14  cpuTime=59.57  mem=16M417
118.66	   
118.66	   search
118.66	     run=19  nbConstraintChecks=358520227  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=213616
118.66	     nbFailedAssignments=147031  nbBacktracks=66482  nbVisitedNodes=425198  nbRestartNogoods=291
118.66	       =>  wckTime=87.446  cpuTime=86.66  mem=16M417
158.82	   
158.82	   search
158.82	     run=20  nbConstraintChecks=523992215  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=315475
158.82	     nbFailedAssignments=215635  nbBacktracks=99734  nbVisitedNodes=627130  nbRestartNogoods=298
158.82	       =>  wckTime=127.604  cpuTime=126.51  mem=16M417
215.22	   
215.22	   search
215.22	     run=21  nbConstraintChecks=756221570  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=456710
215.23	     nbFailedAssignments=306988  nbBacktracks=149612  nbVisitedNodes=906426  nbRestartNogoods=308
215.23	       =>  wckTime=184.006  cpuTime=182.5  mem=16M417
231.72	   
231.72	   search
231.72	     run=22  nbConstraintChecks=824129699  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=497278
231.72	     nbFailedAssignments=332502  nbBacktracks=164667  nbVisitedNodes=986470  nbRestartNogoods=322
231.72	       =>  wckTime=200.5  cpuTime=198.93  mem=16M417
231.72	   
231.72	   global
231.72	     nbConstraintChecks=824160871  nbRestartNogoods=322  solvingWckTime=200.501  solvingCpuTime=198.93  expiredTime=no
231.72	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=229.55
231.72	       =>  wckTime=231.42  cpuTime=229.5  mem=16M417
231.72	
231.72	s OPTIMUM FOUND
231.72	v 4 6 4 8 2 2 0 4 8 4 7 6 8 3 5 4 1 8 4 3 8 2 5 0 7 
231.72	   
231.72	   totalWckTime=231.496  totalCpuTime=229.55

Verifier Data (download as text)

18 unsatisfied constraints, 45 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/node70/watcher-281611-1169313233 -o ROOT/results/node70/solver-281611-1169313233 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281611-1169313233/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: 0.85 0.97 0.99 7/73 12495
/proc/meminfo: memFree=1420352/2055920 swapFree=4192812/4192956
[pid=12494] ppid=12489 vsize=1784 CPUtime=0
/proc/12494/stat : 12494 (java) R 12489 12494 12356 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 78820257 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/12494/statm: 446 136 102 14 0 91 0

[startup+0.10711 s]
/proc/loadavg: 0.85 0.97 0.99 7/73 12495
/proc/meminfo: memFree=1420352/2055920 swapFree=4192812/4192956
[pid=12494] ppid=12489 vsize=914988 CPUtime=0.08
/proc/12494/stat : 12494 (java) R 12489 12494 12356 0 -1 0 3005 0 1 0 7 1 0 0 23 0 8 0 78820257 936947712 2751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12494/statm: 228747 2751 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515154 s]
/proc/loadavg: 0.85 0.97 0.99 7/73 12495
/proc/meminfo: memFree=1420352/2055920 swapFree=4192812/4192956
[pid=12494] ppid=12489 vsize=915332 CPUtime=0.49
/proc/12494/stat : 12494 (java) R 12489 12494 12356 0 -1 0 6619 0 1 0 45 4 0 0 25 0 8 0 78820257 937299968 6357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8849019 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12494/statm: 228833 6357 2175 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33723 s]
/proc/loadavg: 0.85 0.97 0.99 4/87 12509
/proc/meminfo: memFree=1386064/2055920 swapFree=4192812/4192956
[pid=12494] ppid=12489 vsize=915436 CPUtime=1.3
/proc/12494/stat : 12494 (java) R 12489 12494 12356 0 -1 0 6958 0 1 0 105 25 0 0 25 0 8 0 78820257 937406464 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12494/statm: 228859 6696 2479 14 0 215329 0
[pid=12494/tid=12496] ppid=12489 vsize=915440 CPUtime=0.02
/proc/12494/task/12496/stat : 12496 (java) S 12489 12494 12356 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 78820261 937410560 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12498] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12498/stat : 12498 (java) S 12489 12494 12356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12499] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12499/stat : 12499 (java) S 12489 12494 12356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12502] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12502/stat : 12502 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78820265 937406464 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12503] ppid=12489 vsize=915436 CPUtime=0.1
/proc/12494/task/12503/stat : 12503 (java) S 12489 12494 12356 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 78820265 937406464 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12504] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12504/stat : 12504 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78820265 937406464 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12505] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12505/stat : 12505 (java) S 12489 12494 12356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915436

[startup+2.98939 s]
/proc/loadavg: 0.85 0.97 0.99 3/87 12509
/proc/meminfo: memFree=1386000/2055920 swapFree=4192812/4192956
[pid=12494] ppid=12489 vsize=915436 CPUtime=2.95
/proc/12494/stat : 12494 (java) R 12489 12494 12356 0 -1 0 6961 0 1 0 218 77 0 0 25 0 8 0 78820257 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12494/statm: 228859 6698 2479 14 0 215329 0
[pid=12494/tid=12496] ppid=12489 vsize=915436 CPUtime=0.02
/proc/12494/task/12496/stat : 12496 (java) S 12489 12494 12356 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12498] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12498/stat : 12498 (java) S 12489 12494 12356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12499] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12499/stat : 12499 (java) S 12489 12494 12356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12502] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12502/stat : 12502 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78820265 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12503] ppid=12489 vsize=915436 CPUtime=0.1
/proc/12494/task/12503/stat : 12503 (java) S 12489 12494 12356 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 78820265 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12504] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12504/stat : 12504 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78820265 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12505] ppid=12489 vsize=915440 CPUtime=0
/proc/12494/task/12505/stat : 12505 (java) S 12489 12494 12356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 78820265 937410560 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915436

[startup+6.27972 s]
/proc/loadavg: 0.94 0.98 0.99 4/87 12509
/proc/meminfo: memFree=1385872/2055920 swapFree=4192812/4192956
[pid=12494] ppid=12489 vsize=915436 CPUtime=6.23
/proc/12494/stat : 12494 (java) R 12489 12494 12356 0 -1 0 6961 0 1 0 445 178 0 0 25 0 8 0 78820257 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12494/statm: 228859 6698 2479 14 0 215329 0
[pid=12494/tid=12496] ppid=12489 vsize=915436 CPUtime=0.02
/proc/12494/task/12496/stat : 12496 (java) S 12489 12494 12356 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12498] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12498/stat : 12498 (java) S 12489 12494 12356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12499] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12499/stat : 12499 (java) S 12489 12494 12356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12502] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12502/stat : 12502 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78820265 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12503] ppid=12489 vsize=915436 CPUtime=0.1
/proc/12494/task/12503/stat : 12503 (java) S 12489 12494 12356 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 78820265 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12504] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12504/stat : 12504 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78820265 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12505] ppid=12489 vsize=915440 CPUtime=0
/proc/12494/task/12505/stat : 12505 (java) S 12489 12494 12356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 78820265 937410560 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915436

[startup+12.6832 s]
/proc/loadavg: 1.02 1.00 1.00 3/87 12509
/proc/meminfo: memFree=1385888/2055920 swapFree=4192812/4192956
[pid=12494] ppid=12489 vsize=915436 CPUtime=12.59
/proc/12494/stat : 12494 (java) R 12489 12494 12356 0 -1 0 6961 0 1 0 883 376 0 0 25 0 8 0 78820257 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073644902 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12494/statm: 228859 6698 2479 14 0 215329 0
[pid=12494/tid=12496] ppid=12489 vsize=915436 CPUtime=0.02
/proc/12494/task/12496/stat : 12496 (java) S 12489 12494 12356 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12498] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12498/stat : 12498 (java) S 12489 12494 12356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12499] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12499/stat : 12499 (java) S 12489 12494 12356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12502] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12502/stat : 12502 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78820265 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12503] ppid=12489 vsize=915436 CPUtime=0.1
/proc/12494/task/12503/stat : 12503 (java) S 12489 12494 12356 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 78820265 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12504] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12504/stat : 12504 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78820265 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12505] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12505/stat : 12505 (java) S 12489 12494 12356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915436

[startup+25.5265 s]
/proc/loadavg: 1.24 1.05 1.02 3/87 12509
/proc/meminfo: memFree=1385952/2055920 swapFree=4192812/4192956
[pid=12494] ppid=12489 vsize=915440 CPUtime=25.33
/proc/12494/stat : 12494 (java) R 12489 12494 12356 0 -1 0 6963 0 1 0 1779 754 0 0 25 0 8 0 78820257 937410560 6699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12494/statm: 228860 6699 2479 14 0 215330 0
[pid=12494/tid=12496] ppid=12489 vsize=915440 CPUtime=0.02
/proc/12494/task/12496/stat : 12496 (java) S 12489 12494 12356 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 78820261 937410560 6699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12498] ppid=12489 vsize=915440 CPUtime=0
/proc/12494/task/12498/stat : 12498 (java) S 12489 12494 12356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937410560 6699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12499] ppid=12489 vsize=915440 CPUtime=0
/proc/12494/task/12499/stat : 12499 (java) S 12489 12494 12356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937410560 6699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12502] ppid=12489 vsize=915440 CPUtime=0
/proc/12494/task/12502/stat : 12502 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78820265 937410560 6699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12503] ppid=12489 vsize=915440 CPUtime=0.11
/proc/12494/task/12503/stat : 12503 (java) S 12489 12494 12356 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 78820265 937410560 6699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12504] ppid=12489 vsize=915440 CPUtime=0
/proc/12494/task/12504/stat : 12504 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78820265 937410560 6699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12505] ppid=12489 vsize=915440 CPUtime=0
/proc/12494/task/12505/stat : 12505 (java) S 12489 12494 12356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 78820265 937410560 6699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915440

[startup+51.216 s]
/proc/loadavg: 1.50 1.12 1.04 3/87 12509
/proc/meminfo: memFree=1370272/2055920 swapFree=4192812/4192956
[pid=12494] ppid=12489 vsize=915436 CPUtime=50.79
/proc/12494/stat : 12494 (java) R 12489 12494 12356 0 -1 0 9004 0 1 0 4159 920 0 0 25 0 8 0 78820257 937406464 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754009 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12494/statm: 228859 8736 2532 14 0 215329 0
[pid=12494/tid=12496] ppid=12489 vsize=915436 CPUtime=0.02
/proc/12494/task/12496/stat : 12496 (java) S 12489 12494 12356 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12498] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12498/stat : 12498 (java) S 12489 12494 12356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12499] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12499/stat : 12499 (java) S 12489 12494 12356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12502] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12502/stat : 12502 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78820265 937406464 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12503] ppid=12489 vsize=915436 CPUtime=0.2
/proc/12494/task/12503/stat : 12503 (java) S 12489 12494 12356 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 78820265 937406464 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12504] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12504/stat : 12504 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78820265 937406464 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12505] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12505/stat : 12505 (java) S 12489 12494 12356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 915436

[startup+102.483 s]
/proc/loadavg: 1.78 1.26 1.09 3/87 12509
/proc/meminfo: memFree=1370208/2055920 swapFree=4192812/4192956
[pid=12494] ppid=12489 vsize=915436 CPUtime=101.65
/proc/12494/stat : 12494 (java) R 12489 12494 12356 0 -1 0 9015 0 1 0 9245 920 0 0 25 0 8 0 78820257 937406464 8745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775143 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12494/statm: 228859 8745 2532 14 0 215329 0
[pid=12494/tid=12496] ppid=12489 vsize=915436 CPUtime=0.02
/proc/12494/task/12496/stat : 12496 (java) S 12489 12494 12356 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 8745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12498] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12498/stat : 12498 (java) S 12489 12494 12356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 8745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12499] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12499/stat : 12499 (java) S 12489 12494 12356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 8745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12502] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12502/stat : 12502 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78820265 937406464 8745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12503] ppid=12489 vsize=915436 CPUtime=0.2
/proc/12494/task/12503/stat : 12503 (java) S 12489 12494 12356 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 78820265 937406464 8745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12504] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12504/stat : 12504 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78820265 937406464 8745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12505] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12505/stat : 12505 (java) S 12489 12494 12356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 8745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 915436

[startup+162.583 s]
/proc/loadavg: 1.92 1.39 1.14 4/87 12509
/proc/meminfo: memFree=1370144/2055920 swapFree=4192812/4192956
[pid=12494] ppid=12489 vsize=915436 CPUtime=161.27
/proc/12494/stat : 12494 (java) R 12489 12494 12356 0 -1 0 9022 0 1 0 15207 920 0 0 25 0 8 0 78820257 937406464 8752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12494/statm: 228859 8752 2532 14 0 215329 0
[pid=12494/tid=12496] ppid=12489 vsize=915436 CPUtime=0.02
/proc/12494/task/12496/stat : 12496 (java) S 12489 12494 12356 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 8752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12498] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12498/stat : 12498 (java) S 12489 12494 12356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 8752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12499] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12499/stat : 12499 (java) S 12489 12494 12356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 8752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12502] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12502/stat : 12502 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78820265 937406464 8752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12503] ppid=12489 vsize=915436 CPUtime=0.21
/proc/12494/task/12503/stat : 12503 (java) S 12489 12494 12356 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 78820265 937406464 8752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12504] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12504/stat : 12504 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78820265 937406464 8752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12505] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12505/stat : 12505 (java) S 12489 12494 12356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 8752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.27
Current children cumulated vsize (KiB) 915436

[startup+222.587 s]
/proc/loadavg: 1.86 1.47 1.18 3/87 12819
/proc/meminfo: memFree=1377440/2055920 swapFree=4192812/4192956
[pid=12494] ppid=12489 vsize=915436 CPUtime=220.88
/proc/12494/stat : 12494 (java) R 12489 12494 12356 0 -1 0 9024 0 1 0 21165 923 0 0 25 0 8 0 78820257 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12494/statm: 228859 8754 2532 14 0 215329 0
[pid=12494/tid=12496] ppid=12489 vsize=915436 CPUtime=0.02
/proc/12494/task/12496/stat : 12496 (java) S 12489 12494 12356 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12498] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12498/stat : 12498 (java) S 12489 12494 12356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12499] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12499/stat : 12499 (java) S 12489 12494 12356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12502] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12502/stat : 12502 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78820265 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12503] ppid=12489 vsize=915436 CPUtime=0.21
/proc/12494/task/12503/stat : 12503 (java) S 12489 12494 12356 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 78820265 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12504] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12504/stat : 12504 (java) S 12489 12494 12356 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78820265 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12494/tid=12505] ppid=12489 vsize=915436 CPUtime=0
/proc/12494/task/12505/stat : 12505 (java) S 12489 12494 12356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.88
Current children cumulated vsize (KiB) 915436

Child status: 0
Real time (s): 231.761
CPU time (s): 230
CPU user time (s): 220.756
CPU system time (s): 9.24359
CPU usage (%): 99.2402
Max. virtual memory (cumulated for all children) (KiB): 915952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 220.756
system time used= 9.24359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9120
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= 5801
involuntary context switches= 11173

runsolver used 0.230964 s user time and 0.615906 s system time

The end

Launcher Data (download as text)

Begin job on node70 on Sat Jan 20 17:13:53 UTC 2007


IDJOB= 281611
IDBENCH= 12227
IDSOLVER= 68
FILE ID= node70/281611-1169313233

PBS_JOBID= 3610287

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseTight/vcsp-25-10-21-85-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281611-1169313233/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-281611-1169313233 -o ROOT/results/node70/solver-281611-1169313233 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281611-1169313233/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  cba5e24368c638c5a48356d2befa4fd2

RANDOM SEED= 203766323

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.234
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.234
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:       1421056 kB
Buffers:         46016 kB
Cached:         497092 kB
SwapCached:        144 kB
Active:         142932 kB
Inactive:       420720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1421056 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3632 kB
Writeback:           0 kB
Mapped:          30472 kB
Slab:            56864 kB
Committed_AS:  1126944 kB
PageTables:       1668 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 node70 on Sat Jan 20 17:17:45 UTC 2007