Trace number 281612

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCOPTIMUM 188.672 188.815

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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/281612-1169313233/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=25  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.42	       =>  wckTime=0.1  cpuTime=0.08  mem=6M910
0.42	   
0.42	   relations being loaded...
0.46	   
0.46	   constraints being loaded...
0.50	     nbConstraints=63  nbRelationTypes=63  nbExtensionStructures=63  nbSharedExtensionStructures=0
0.50	     nbConflictsStructures=63  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1067  maxDegree=9
0.50	     maxArity=2
0.50	       =>  wckTime=0.185  cpuTime=0.13  mem=7M950
0.54	   
0.54	   solver LocalSearchSolver being built... 
0.59	       =>  wckTime=0.269  cpuTime=0.17  mem=5M428
0.59	
0.59	s SATISFIABLE
0.59	o 11
0.59	c 52
0.59	o 14
0.59	c 49
0.60	o 16
0.60	c 47
0.60	o 18
0.60	c 45
0.60	o 20
0.60	c 43
0.60	o 22
0.60	c 41
0.60	o 23
0.60	c 40
0.60	o 24
0.60	c 39
0.60	o 26
0.60	c 37
0.60	o 27
0.60	c 36
0.60	o 28
0.60	c 35
0.61	o 29
0.61	c 34
0.61	o 31
0.61	c 32
0.61	o 32
0.61	c 31
0.61	o 33
0.61	c 30
0.61	o 34
0.61	c 29
0.61	o 35
0.61	c 28
0.61	o 37
0.61	c 26
0.61	o 38
0.61	c 25
0.61	o 39
0.61	c 24
0.61	o 40
0.61	c 23
0.61	o 41
0.61	c 22
0.68	o 42
0.68	c 21
0.68	o 43
0.68	c 20
0.92	o 44
0.92	c 19
0.92	o 45
0.92	c 18
1.97	   
1.97	   search
1.97	     run=0  nbConstraintChecks=6552644  nbAssignments=10000
1.97	       =>  wckTime=1.381  cpuTime=1.36  mem=5M428
3.27	   
3.27	   search
3.27	     run=1  nbConstraintChecks=13068148  nbAssignments=20000
3.27	       =>  wckTime=2.681  cpuTime=2.65  mem=5M428
4.58	   
4.58	   search
4.58	     run=2  nbConstraintChecks=19720882  nbAssignments=30000
4.58	       =>  wckTime=3.989  cpuTime=3.95  mem=5M428
5.88	   
5.88	   search
5.88	     run=3  nbConstraintChecks=26327497  nbAssignments=40000
5.88	       =>  wckTime=5.295  cpuTime=5.25  mem=5M428
7.19	   
7.19	   search
7.19	     run=4  nbConstraintChecks=32997791  nbAssignments=50000
7.19	       =>  wckTime=6.6  cpuTime=6.55  mem=5M428
8.48	   
8.48	   search
8.48	     run=5  nbConstraintChecks=39503322  nbAssignments=60000
8.48	       =>  wckTime=7.891  cpuTime=7.84  mem=5M428
9.77	   
9.77	   search
9.77	     run=6  nbConstraintChecks=46066448  nbAssignments=70000
9.77	       =>  wckTime=9.181  cpuTime=9.13  mem=5M428
11.06	   
11.06	   search
11.06	     run=7  nbConstraintChecks=52613939  nbAssignments=80000
11.06	       =>  wckTime=10.469  cpuTime=10.41  mem=5M428
12.34	   
12.34	   search
12.35	     run=8  nbConstraintChecks=59131103  nbAssignments=90000
12.35	       =>  wckTime=11.758  cpuTime=11.7  mem=5M428
13.66	   
13.66	   search
13.66	     run=9  nbConstraintChecks=65861614  nbAssignments=100000
13.66	       =>  wckTime=13.075  cpuTime=13.02  mem=5M428
14.97	   
14.97	   search
14.97	     run=10  nbConstraintChecks=72434691  nbAssignments=110000
14.97	       =>  wckTime=14.379  cpuTime=14.32  mem=5M428
16.28	   
16.28	   search
16.28	     run=11  nbConstraintChecks=79073791  nbAssignments=120000
16.28	       =>  wckTime=15.689  cpuTime=15.63  mem=5M428
17.58	   
17.58	   search
17.58	     run=12  nbConstraintChecks=85688838  nbAssignments=130000
17.58	       =>  wckTime=16.998  cpuTime=16.94  mem=5M428
18.89	   
18.89	   search
18.89	     run=13  nbConstraintChecks=92258133  nbAssignments=140000
18.89	       =>  wckTime=18.3  cpuTime=18.24  mem=5M428
20.19	   
20.19	   search
20.19	     run=14  nbConstraintChecks=98850292  nbAssignments=150000
20.19	       =>  wckTime=19.606  cpuTime=19.55  mem=5M428
21.50	   
21.50	   search
21.50	     run=15  nbConstraintChecks=105404477  nbAssignments=160000
21.50	       =>  wckTime=20.91  cpuTime=20.85  mem=5M428
22.81	   
22.81	   search
22.81	     run=16  nbConstraintChecks=112092967  nbAssignments=170000
22.81	       =>  wckTime=22.226  cpuTime=22.17  mem=5M428
24.11	   
24.11	   search
24.11	     run=17  nbConstraintChecks=118698624  nbAssignments=180000
24.11	       =>  wckTime=23.524  cpuTime=23.46  mem=5M428
25.40	   
25.40	   search
25.40	     run=18  nbConstraintChecks=125256975  nbAssignments=190000
25.40	       =>  wckTime=24.817  cpuTime=24.76  mem=5M428
26.69	   
26.69	   search
26.69	     run=19  nbConstraintChecks=131768032  nbAssignments=200000
26.69	       =>  wckTime=26.102  cpuTime=26.04  mem=5M428
27.99	   
27.99	   search
27.99	     run=20  nbConstraintChecks=138343566  nbAssignments=210000
27.99	       =>  wckTime=27.399  cpuTime=27.34  mem=5M428
29.28	   
29.28	   search
29.28	     run=21  nbConstraintChecks=144991038  nbAssignments=220000
29.28	       =>  wckTime=28.695  cpuTime=28.63  mem=5M428
30.58	   
30.58	   search
30.58	     run=22  nbConstraintChecks=151638778  nbAssignments=230000
30.58	       =>  wckTime=29.996  cpuTime=29.93  mem=5M428
30.97	   
30.97	   search
30.97	     run=23  nbConstraintChecks=153597628  nbAssignments=232960
30.97	       =>  wckTime=30.38  cpuTime=30.32  mem=5M428
30.97	   
30.97	   global
30.97	     nbConstraintChecks=153597628  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.97	     solvingWckTime=30.379  solvingCpuTime=30.32  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.97	     globalCpuTime=30.56
30.97	       =>  wckTime=30.65  cpuTime=30.49  mem=5M428
30.97	   
30.97	   solver IterativeSystematicSolver being built... 
31.10	       =>  wckTime=30.781  cpuTime=30.59  mem=16M434
31.11	   
31.11	   preprocessing
31.11	     nbConstraintChecks=1170  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.11	     detectedInconsistency=no
31.11	       =>  wckTime=0.0050  cpuTime=0.0  mem=16M434
31.18	   
31.18	   search
31.18	     run=0  nbConstraintChecks=108159  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=61
31.18	     nbFailedAssignments=48  nbBacktracks=11  nbVisitedNodes=120  nbRestartNogoods=0
31.18	       =>  wckTime=0.076  cpuTime=0.04  mem=16M434
31.22	   
31.22	   search
31.22	     run=1  nbConstraintChecks=214573  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=129
31.22	     nbFailedAssignments=94  nbBacktracks=27  nbVisitedNodes=248  nbRestartNogoods=1
31.22	       =>  wckTime=0.124  cpuTime=0.08  mem=16M434
31.25	   
31.25	   search
31.25	     run=2  nbConstraintChecks=311847  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=186
31.25	     nbFailedAssignments=121  nbBacktracks=50  nbVisitedNodes=355  nbRestartNogoods=4
31.25	       =>  wckTime=0.15  cpuTime=0.11  mem=16M434
31.31	   
31.31	   search
31.31	     run=3  nbConstraintChecks=498511  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=294
31.31	     nbFailedAssignments=191  nbBacktracks=83  nbVisitedNodes=564  nbRestartNogoods=9
31.31	       =>  wckTime=0.203  cpuTime=0.15  mem=16M434
31.45	   
31.45	   search
31.45	     run=4  nbConstraintChecks=1008721  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=586
31.45	     nbFailedAssignments=428  nbBacktracks=133  nbVisitedNodes=1138  nbRestartNogoods=14
31.45	       =>  wckTime=0.35  cpuTime=0.3  mem=16M434
31.59	   
31.59	   search
31.59	     run=5  nbConstraintChecks=1509843  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=865
31.59	     nbFailedAssignments=626  nbBacktracks=208  nbVisitedNodes=1686  nbRestartNogoods=31
31.59	       =>  wckTime=0.486  cpuTime=0.44  mem=16M434
31.84	   
31.84	   search
31.84	     run=6  nbConstraintChecks=2314785  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1321
31.84	     nbFailedAssignments=965  nbBacktracks=321  nbVisitedNodes=2582  nbRestartNogoods=44
31.84	       =>  wckTime=0.735  cpuTime=0.68  mem=16M434
32.12	   
32.12	   search
32.12	     run=7  nbConstraintChecks=3342330  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1950
32.12	     nbFailedAssignments=1419  nbBacktracks=491  nbVisitedNodes=3830  nbRestartNogoods=61
32.12	       =>  wckTime=1.019  cpuTime=0.95  mem=16M434
32.58	   
32.58	   search
32.58	     run=8  nbConstraintChecks=5054084  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2932
32.58	     nbFailedAssignments=2140  nbBacktracks=747  nbVisitedNodes=5771  nbRestartNogoods=69
32.58	       =>  wckTime=1.478  cpuTime=1.4  mem=16M434
33.29	   
33.29	   search
33.29	     run=9  nbConstraintChecks=7837839  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4527
33.29	     nbFailedAssignments=3346  nbBacktracks=1131  nbVisitedNodes=8941  nbRestartNogoods=82
33.29	       =>  wckTime=2.191  cpuTime=2.11  mem=16M434
34.45	   
34.45	   search
34.45	     run=10  nbConstraintChecks=12327811  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7031
34.45	     nbFailedAssignments=5267  nbBacktracks=1708  nbVisitedNodes=13868  nbRestartNogoods=98
34.45	       =>  wckTime=3.345  cpuTime=3.26  mem=16M434
35.90	   
35.90	   search
35.90	     run=11  nbConstraintChecks=17668788  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10221
35.90	     nbFailedAssignments=7587  nbBacktracks=2572  nbVisitedNodes=20163  nbRestartNogoods=116
35.90	       =>  wckTime=4.795  cpuTime=4.71  mem=16M434
37.72	   
37.72	   search
37.72	     run=12  nbConstraintChecks=24855019  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14850
37.72	     nbFailedAssignments=10911  nbBacktracks=3869  nbVisitedNodes=29385  nbRestartNogoods=126
37.72	       =>  wckTime=6.619  cpuTime=6.53  mem=16M434
40.87	   
40.87	   search
40.87	     run=13  nbConstraintChecks=36557731  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21537
40.87	     nbFailedAssignments=15646  nbBacktracks=5815  nbVisitedNodes=42566  nbRestartNogoods=141
40.87	       =>  wckTime=9.773  cpuTime=9.68  mem=16M434
44.95	   
44.95	   search
44.96	     run=14  nbConstraintChecks=52419602  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=31598
44.96	     nbFailedAssignments=22781  nbBacktracks=8734  nbVisitedNodes=62540  nbRestartNogoods=151
44.96	       =>  wckTime=13.854  cpuTime=13.76  mem=16M434
51.86	   
51.86	   search
51.86	     run=15  nbConstraintChecks=78532996  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=46477
51.86	     nbFailedAssignments=33276  nbBacktracks=13112  nbVisitedNodes=91802  nbRestartNogoods=166
51.86	       =>  wckTime=20.76  cpuTime=20.66  mem=16M434
61.37	   
61.37	   search
61.37	     run=16  nbConstraintChecks=116339497  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=68871
61.37	     nbFailedAssignments=49097  nbBacktracks=19680  nbVisitedNodes=136149  nbRestartNogoods=189
61.37	       =>  wckTime=30.272  cpuTime=30.17  mem=16M434
76.67	   
76.67	   search
76.67	     run=17  nbConstraintChecks=178171503  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=105326
76.67	     nbFailedAssignments=75696  nbBacktracks=29532  nbVisitedNodes=208512  nbRestartNogoods=216
76.67	       =>  wckTime=45.567  cpuTime=45.46  mem=16M434
96.35	   
96.35	   search
96.35	     run=18  nbConstraintChecks=257844305  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=155264
96.35	     nbFailedAssignments=110851  nbBacktracks=44310  nbVisitedNodes=307728  nbRestartNogoods=231
96.35	       =>  wckTime=65.249  cpuTime=65.14  mem=16M434
126.50	   
126.50	   search
126.50	     run=19  nbConstraintChecks=378976145  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=226958
126.50	     nbFailedAssignments=160371  nbBacktracks=66478  nbVisitedNodes=450012  nbRestartNogoods=242
126.50	       =>  wckTime=95.403  cpuTime=95.28  mem=16M434
170.32	   
170.32	   search
170.32	     run=20  nbConstraintChecks=551755726  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=330688
170.32	     nbFailedAssignments=230845  nbBacktracks=99730  nbVisitedNodes=655519  nbRestartNogoods=255
170.32	       =>  wckTime=139.22  cpuTime=139.09  mem=16M434
188.76	   
188.76	   search
188.76	     run=21  nbConstraintChecks=626816752  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=374877
188.76	     nbFailedAssignments=261446  nbBacktracks=113319  nbVisitedNodes=742935  nbRestartNogoods=274
188.76	       =>  wckTime=157.658  cpuTime=157.52  mem=16M434
188.76	   
188.76	   global
188.76	     nbConstraintChecks=626817922  nbRestartNogoods=274  solvingWckTime=157.659  solvingCpuTime=157.52  expiredTime=no
188.76	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=188.19
188.76	       =>  wckTime=188.441  cpuTime=188.12  mem=16M434
188.76	
188.76	s OPTIMUM FOUND
188.76	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 
188.76	   
188.76	   totalWckTime=188.521  totalCpuTime=188.2

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-281612-1169313233 -o ROOT/results/node70/solver-281612-1169313233 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281612-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 4/70 12492
/proc/meminfo: memFree=1420632/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=292 CPUtime=0
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 54 0 0 0 0 0 0 0 20 0 1 0 78820256 299008 37 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 8414116 0 0 4096 0 0 0 0 17 1 0 0
/proc/12491/statm: 73 37 29 14 0 5 0

[startup+0.107431 s]
/proc/loadavg: 0.85 0.97 0.99 4/70 12492
/proc/meminfo: memFree=1420632/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=914988 CPUtime=0.08
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 2964 0 1 0 7 1 0 0 17 0 8 0 78820256 936947712 2710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228747 2710 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515473 s]
/proc/loadavg: 0.85 0.97 0.99 4/70 12492
/proc/meminfo: memFree=1420632/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915332 CPUtime=0.49
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 6469 0 1 0 45 4 0 0 20 0 8 0 78820256 937299968 6207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228833 6207 2160 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33655 s]
/proc/loadavg: 0.85 0.97 0.99 3/87 12509
/proc/meminfo: memFree=1386064/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915440 CPUtime=1.3
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 6950 0 1 0 104 26 0 0 25 0 8 0 78820256 937410560 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228859 6688 2476 14 0 215329 0
[pid=12491/tid=12497] ppid=12487 vsize=915436 CPUtime=0.02
/proc/12491/task/12497/stat : 12497 (java) S 12487 12491 12383 0 -1 64 135 0 0 0 2 0 0 0 17 0 8 0 78820261 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12500] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12500/stat : 12500 (java) S 12487 12491 12383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12501] ppid=12487 vsize=915440 CPUtime=0
/proc/12491/task/12501/stat : 12501 (java) S 12487 12491 12383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937410560 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12506] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12506/stat : 12506 (java) S 12487 12491 12383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78820265 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12507] ppid=12487 vsize=915436 CPUtime=0.1
/proc/12491/task/12507/stat : 12507 (java) S 12487 12491 12383 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 78820265 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12508] ppid=12487 vsize=915440 CPUtime=0
/proc/12491/task/12508/stat : 12508 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78820265 937410560 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12509] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12509/stat : 12509 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915440

[startup+2.97671 s]
/proc/loadavg: 0.85 0.97 0.99 3/87 12509
/proc/meminfo: memFree=1386000/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915436 CPUtime=2.94
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 6953 0 1 0 218 76 0 0 25 0 8 0 78820256 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228860 6690 2476 14 0 215330 0
[pid=12491/tid=12497] ppid=12487 vsize=915436 CPUtime=0.02
/proc/12491/task/12497/stat : 12497 (java) S 12487 12491 12383 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12500] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12500/stat : 12500 (java) S 12487 12491 12383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12501] ppid=12487 vsize=915440 CPUtime=0
/proc/12491/task/12501/stat : 12501 (java) S 12487 12491 12383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937410560 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12506] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12506/stat : 12506 (java) S 12487 12491 12383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12507] ppid=12487 vsize=915436 CPUtime=0.11
/proc/12491/task/12507/stat : 12507 (java) S 12487 12491 12383 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12508] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12508/stat : 12508 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12509] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12509/stat : 12509 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915436

[startup+6.17903 s]
/proc/loadavg: 0.94 0.98 0.99 3/87 12509
/proc/meminfo: memFree=1385872/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915436 CPUtime=6.12
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 6953 0 1 0 443 169 0 0 25 0 8 0 78820256 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228859 6690 2476 14 0 215329 0
[pid=12491/tid=12497] ppid=12487 vsize=915436 CPUtime=0.02
/proc/12491/task/12497/stat : 12497 (java) S 12487 12491 12383 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12500] ppid=12487 vsize=915440 CPUtime=0
/proc/12491/task/12500/stat : 12500 (java) S 12487 12491 12383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937410560 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12501] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12501/stat : 12501 (java) S 12487 12491 12383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12506] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12506/stat : 12506 (java) S 12487 12491 12383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12507] ppid=12487 vsize=915436 CPUtime=0.11
/proc/12491/task/12507/stat : 12507 (java) S 12487 12491 12383 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12508] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12508/stat : 12508 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12509] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12509/stat : 12509 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915436

[startup+12.6447 s]
/proc/loadavg: 1.02 1.00 1.00 3/87 12509
/proc/meminfo: memFree=1385888/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915436 CPUtime=12.59
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 6953 0 1 0 899 360 0 0 25 0 8 0 78820256 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228859 6690 2476 14 0 215329 0
[pid=12491/tid=12497] ppid=12487 vsize=915440 CPUtime=0.02
/proc/12491/task/12497/stat : 12497 (java) S 12487 12491 12383 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 78820261 937410560 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12500] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12500/stat : 12500 (java) S 12487 12491 12383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12501] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12501/stat : 12501 (java) S 12487 12491 12383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12506] ppid=12487 vsize=915440 CPUtime=0
/proc/12491/task/12506/stat : 12506 (java) S 12487 12491 12383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78820265 937410560 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12507] ppid=12487 vsize=915436 CPUtime=0.11
/proc/12491/task/12507/stat : 12507 (java) S 12487 12491 12383 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12508] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12508/stat : 12508 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12509] ppid=12487 vsize=915440 CPUtime=0
/proc/12491/task/12509/stat : 12509 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78820265 937410560 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915436

[startup+25.49 s]
/proc/loadavg: 1.24 1.05 1.02 3/87 12509
/proc/meminfo: memFree=1385952/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915436 CPUtime=25.43
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 6955 0 1 0 1793 750 0 0 25 0 8 0 78820256 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228859 6691 2476 14 0 215329 0
[pid=12491/tid=12497] ppid=12487 vsize=915436 CPUtime=0.02
/proc/12491/task/12497/stat : 12497 (java) S 12487 12491 12383 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12500] ppid=12487 vsize=915440 CPUtime=0
/proc/12491/task/12500/stat : 12500 (java) S 12487 12491 12383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937410560 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12501] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12501/stat : 12501 (java) S 12487 12491 12383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12506] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12506/stat : 12506 (java) S 12487 12491 12383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78820265 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12507] ppid=12487 vsize=915440 CPUtime=0.11
/proc/12491/task/12507/stat : 12507 (java) S 12487 12491 12383 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 78820265 937410560 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12508] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12508/stat : 12508 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78820265 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12509] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12509/stat : 12509 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915436

[startup+51.1825 s]
/proc/loadavg: 1.50 1.12 1.04 3/87 12509
/proc/meminfo: memFree=1370272/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915436 CPUtime=51.1
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 8995 0 1 0 4187 923 0 0 25 0 8 0 78820256 937406464 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228859 8726 2527 14 0 215329 0
[pid=12491/tid=12497] ppid=12487 vsize=915436 CPUtime=0.02
/proc/12491/task/12497/stat : 12497 (java) S 12487 12491 12383 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12500] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12500/stat : 12500 (java) S 12487 12491 12383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12501] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12501/stat : 12501 (java) S 12487 12491 12383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12506] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12506/stat : 12506 (java) S 12487 12491 12383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78820265 937406464 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12507] ppid=12487 vsize=915436 CPUtime=0.22
/proc/12491/task/12507/stat : 12507 (java) S 12487 12491 12383 0 -1 64 381 0 0 0 21 1 0 0 15 0 8 0 78820265 937406464 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12508] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12508/stat : 12508 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78820265 937406464 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12509] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12509/stat : 12509 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 915436

[startup+102.453 s]
/proc/loadavg: 1.78 1.26 1.09 3/87 12509
/proc/meminfo: memFree=1370208/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915436 CPUtime=102.37
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 9006 0 1 0 9313 924 0 0 25 0 8 0 78820256 937406464 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073651376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228859 8736 2527 14 0 215329 0
[pid=12491/tid=12497] ppid=12487 vsize=915436 CPUtime=0.02
/proc/12491/task/12497/stat : 12497 (java) S 12487 12491 12383 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12500] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12500/stat : 12500 (java) S 12487 12491 12383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12501] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12501/stat : 12501 (java) S 12487 12491 12383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12506] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12506/stat : 12506 (java) S 12487 12491 12383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78820265 937406464 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12507] ppid=12487 vsize=915436 CPUtime=0.22
/proc/12491/task/12507/stat : 12507 (java) S 12487 12491 12383 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 78820265 937406464 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12508] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12508/stat : 12508 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78820265 937406464 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12509] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12509/stat : 12509 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 915436

[startup+162.458 s]
/proc/loadavg: 1.92 1.39 1.14 3/87 12509
/proc/meminfo: memFree=1370144/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915436 CPUtime=162.36
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 9009 0 1 0 15312 924 0 0 25 0 8 0 78820256 937406464 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228859 8738 2527 14 0 215329 0
[pid=12491/tid=12497] ppid=12487 vsize=915436 CPUtime=0.02
/proc/12491/task/12497/stat : 12497 (java) S 12487 12491 12383 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12500] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12500/stat : 12500 (java) S 12487 12491 12383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12501] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12501/stat : 12501 (java) S 12487 12491 12383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12506] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12506/stat : 12506 (java) S 12487 12491 12383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78820265 937406464 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12507] ppid=12487 vsize=915436 CPUtime=0.22
/proc/12491/task/12507/stat : 12507 (java) S 12487 12491 12383 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 78820265 937406464 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12508] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12508/stat : 12508 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78820265 937406464 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12509] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12509/stat : 12509 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.36
Current children cumulated vsize (KiB) 915436

Child status: 0
Real time (s): 188.815
CPU time (s): 188.672
CPU user time (s): 179.423
CPU system time (s): 9.24959
CPU usage (%): 99.9242
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.423
system time used= 9.24959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9107
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= 4884
involuntary context switches= 5619

runsolver used 0.180972 s user time and 0.508922 s system time

The end

Launcher Data (download as text)

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


IDJOB= 281612
IDBENCH= 12227
IDSOLVER= 69
FILE ID= node70/281612-1169313233

PBS_JOBID= 3610288

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
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 pfc.xml 1 XSax /tmp/evaluation/281612-1169313233/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-281612-1169313233 -o ROOT/results/node70/solver-281612-1169313233 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281612-1169313233/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  cba5e24368c638c5a48356d2befa4fd2

RANDOM SEED= 572280374

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:       1420784 kB
Buffers:         46016 kB
Cached:         497092 kB
SwapCached:        144 kB
Active:         143000 kB
Inactive:       420724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1420784 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3632 kB
Writeback:           0 kB
Mapped:          30640 kB
Slab:            56860 kB
Committed_AS:  1127276 kB
PageTables:       1724 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:02 UTC 2007