Trace number 278660

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 567.411 571.915

General information on the benchmark

NameMaxCSP/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-80/
kbtree-9-7-3-5-80-01_ext.xml
MD5SUM3b8f3e856a96102e387b9b37e43d4bae
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints93
Best CPU time to get the best result obtained on this benchmark2.03269
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints189
Maximum constraint arity2
Maximum domain size5
Number of constraints which are defined in extension189
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/278660-1169289074/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=28  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.42	       =>  wckTime=0.101  cpuTime=0.08  mem=6M910
0.42	   
0.42	   relations being loaded...
0.47	   
0.47	   constraints being loaded...
0.56	     nbConstraints=189  nbRelationTypes=189  nbExtensionStructures=189  nbSharedExtensionStructures=0
0.56	     nbConflictsStructures=189  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1861  maxDegree=27
0.56	     maxArity=2
0.56	       =>  wckTime=0.242  cpuTime=0.16  mem=8M860
0.60	   
0.60	   solver LocalSearchSolver being built... 
0.64	       =>  wckTime=0.327  cpuTime=0.21  mem=5M532
0.65	
0.65	s SATISFIABLE
0.65	o 47
0.65	c 142
0.65	o 51
0.65	c 138
0.65	o 54
0.65	c 135
0.65	o 57
0.65	c 132
0.65	o 61
0.65	c 128
0.65	o 63
0.65	c 126
0.65	o 64
0.66	c 125
0.66	o 65
0.66	c 124
0.66	o 68
0.66	c 121
0.66	o 69
0.66	c 120
0.66	o 70
0.66	c 119
0.66	o 73
0.66	c 116
0.66	o 75
0.66	c 114
0.66	o 76
0.66	c 113
0.66	o 77
0.66	c 112
0.66	o 78
0.66	c 111
0.66	o 82
0.66	c 107
0.67	o 83
0.67	c 106
0.67	o 87
0.67	c 102
0.67	o 88
0.67	c 101
0.67	o 89
0.67	c 100
0.74	o 90
0.74	c 99
0.74	o 91
0.74	c 98
0.74	o 92
0.74	c 97
0.88	o 93
0.88	c 96
2.65	   
2.65	   search
2.65	     run=0  nbConstraintChecks=11587093  nbAssignments=10000
2.65	       =>  wckTime=2.005  cpuTime=1.96  mem=5M532
4.58	   
4.58	   search
4.58	     run=1  nbConstraintChecks=23220467  nbAssignments=20000
4.58	       =>  wckTime=3.938  cpuTime=3.88  mem=5M532
6.51	   
6.51	   search
6.51	     run=2  nbConstraintChecks=34876299  nbAssignments=30000
6.51	       =>  wckTime=5.868  cpuTime=5.79  mem=5M532
8.43	   
8.43	   search
8.43	     run=3  nbConstraintChecks=46561314  nbAssignments=40000
8.43	       =>  wckTime=7.791  cpuTime=7.71  mem=5M532
10.35	   
10.35	   search
10.35	     run=4  nbConstraintChecks=58189061  nbAssignments=50000
10.35	       =>  wckTime=9.709  cpuTime=9.6  mem=5M532
12.26	   
12.26	   search
12.26	     run=5  nbConstraintChecks=69783119  nbAssignments=60000
12.26	       =>  wckTime=11.619  cpuTime=11.51  mem=5M532
14.17	   
14.17	   search
14.17	     run=6  nbConstraintChecks=81350214  nbAssignments=70000
14.17	       =>  wckTime=13.527  cpuTime=13.39  mem=5M532
16.10	   
16.10	   search
16.10	     run=7  nbConstraintChecks=93041797  nbAssignments=80000
16.10	       =>  wckTime=15.454  cpuTime=15.31  mem=5M532
18.02	   
18.02	   search
18.02	     run=8  nbConstraintChecks=104605751  nbAssignments=90000
18.02	       =>  wckTime=17.378  cpuTime=17.22  mem=5M532
19.96	   
19.96	   search
19.96	     run=9  nbConstraintChecks=116286661  nbAssignments=100000
19.96	       =>  wckTime=19.315  cpuTime=19.14  mem=5M532
21.89	   
21.89	   search
21.89	     run=10  nbConstraintChecks=127899100  nbAssignments=110000
21.89	       =>  wckTime=21.247  cpuTime=21.06  mem=5M532
23.83	   
23.83	   search
23.83	     run=11  nbConstraintChecks=139569674  nbAssignments=120000
23.83	       =>  wckTime=23.185  cpuTime=22.98  mem=5M532
25.75	   
25.76	   search
25.76	     run=12  nbConstraintChecks=151166719  nbAssignments=130000
25.76	       =>  wckTime=25.113  cpuTime=24.89  mem=5M532
27.67	   
27.67	   search
27.67	     run=13  nbConstraintChecks=162762628  nbAssignments=140000
27.67	       =>  wckTime=27.024  cpuTime=26.79  mem=5M532
29.58	   
29.58	   search
29.58	     run=14  nbConstraintChecks=174379851  nbAssignments=150000
29.58	       =>  wckTime=28.942  cpuTime=28.69  mem=5M532
31.13	   
31.13	   search
31.13	     run=15  nbConstraintChecks=183788344  nbAssignments=158067
31.13	       =>  wckTime=30.486  cpuTime=30.23  mem=5M532
31.13	   
31.13	   global
31.13	     nbConstraintChecks=183788344  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.13	     solvingWckTime=30.485  solvingCpuTime=30.23  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.13	     globalCpuTime=30.5
31.13	       =>  wckTime=30.814  cpuTime=30.44  mem=5M532
31.13	   
31.13	   solver IterativeSystematicSolver being built... 
31.26	       =>  wckTime=30.945  cpuTime=30.54  mem=16M472
31.27	   
31.27	   preprocessing
31.27	     nbConstraintChecks=1775  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.27	     detectedInconsistency=no
31.27	       =>  wckTime=0.0070  cpuTime=0.01  mem=16M472
31.33	   
31.33	   search
31.33	     run=0  nbConstraintChecks=86000  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=46
31.33	     nbFailedAssignments=22  nbBacktracks=10  nbVisitedNodes=79  nbRestartNogoods=0
31.33	       =>  wckTime=0.07  cpuTime=0.05  mem=16M472
31.38	   
31.38	   search
31.38	     run=1  nbConstraintChecks=189147  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=102
31.38	     nbFailedAssignments=48  nbBacktracks=25  nbVisitedNodes=176  nbRestartNogoods=5
31.38	       =>  wckTime=0.118  cpuTime=0.08  mem=16M472
31.42	   
31.42	   search
31.42	     run=2  nbConstraintChecks=323920  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=172
31.42	     nbFailedAssignments=81  nbBacktracks=47  nbVisitedNodes=301  nbRestartNogoods=10
31.42	       =>  wckTime=0.156  cpuTime=0.11  mem=16M472
31.48	   
31.48	   search
31.48	     run=3  nbConstraintChecks=537375  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=278
31.48	     nbFailedAssignments=141  nbBacktracks=80  nbVisitedNodes=500  nbRestartNogoods=13
31.48	       =>  wckTime=0.213  cpuTime=0.17  mem=16M472
31.55	   
31.55	   search
31.55	     run=4  nbConstraintChecks=824350  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=420
31.55	     nbFailedAssignments=219  nbBacktracks=130  nbVisitedNodes=770  nbRestartNogoods=17
31.55	       =>  wckTime=0.29  cpuTime=0.24  mem=16M472
31.66	   
31.66	   search
31.66	     run=5  nbConstraintChecks=1256003  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=629
31.66	     nbFailedAssignments=338  nbBacktracks=205  nbVisitedNodes=1173  nbRestartNogoods=21
31.66	       =>  wckTime=0.399  cpuTime=0.35  mem=16M472
31.81	   
31.81	   search
31.81	     run=6  nbConstraintChecks=1831224  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=909
31.81	     nbFailedAssignments=492  nbBacktracks=318  nbVisitedNodes=1720  nbRestartNogoods=26
31.81	       =>  wckTime=0.546  cpuTime=0.49  mem=16M472
32.01	   
32.01	   search
32.01	     run=7  nbConstraintChecks=2645428  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1312
32.01	     nbFailedAssignments=711  nbBacktracks=488  nbVisitedNodes=2512  nbRestartNogoods=33
32.01	       =>  wckTime=0.752  cpuTime=0.69  mem=16M472
32.32	   
32.32	   search
32.32	     run=8  nbConstraintChecks=3880904  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1911
32.32	     nbFailedAssignments=1040  nbBacktracks=744  nbVisitedNodes=3696  nbRestartNogoods=39
32.32	       =>  wckTime=1.057  cpuTime=0.98  mem=16M472
32.79	   
32.79	   search
32.79	     run=9  nbConstraintChecks=5854354  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2855
32.79	     nbFailedAssignments=1587  nbBacktracks=1128  nbVisitedNodes=5571  nbRestartNogoods=45
32.79	       =>  wckTime=1.531  cpuTime=1.45  mem=16M472
33.55	   
33.55	   search
33.55	     run=10  nbConstraintChecks=9135231  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4318
33.55	     nbFailedAssignments=2460  nbBacktracks=1705  nbVisitedNodes=8484  nbRestartNogoods=58
33.55	       =>  wckTime=2.291  cpuTime=2.19  mem=16M472
34.51	   
34.51	   search
34.51	     run=11  nbConstraintChecks=13303933  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6186
34.51	     nbFailedAssignments=3453  nbBacktracks=2569  nbVisitedNodes=12209  nbRestartNogoods=66
34.51	       =>  wckTime=3.248  cpuTime=3.15  mem=16M472
36.15	   
36.15	   search
36.15	     run=12  nbConstraintChecks=20115133  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9417
36.15	     nbFailedAssignments=5372  nbBacktracks=3866  nbVisitedNodes=18656  nbRestartNogoods=76
36.15	       =>  wckTime=4.889  cpuTime=4.77  mem=16M472
38.37	   
38.37	   search
38.37	     run=13  nbConstraintChecks=29531355  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13593
38.37	     nbFailedAssignments=7590  nbBacktracks=5813  nbVisitedNodes=26997  nbRestartNogoods=85
38.37	       =>  wckTime=7.107  cpuTime=6.97  mem=16M472
42.04	   
42.04	   search
42.04	     run=14  nbConstraintChecks=44325981  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21022
42.04	     nbFailedAssignments=12089  nbBacktracks=8732  nbVisitedNodes=41844  nbRestartNogoods=91
42.04	       =>  wckTime=10.774  cpuTime=10.62  mem=16M472
47.19	   
47.19	   search
47.19	     run=15  nbConstraintChecks=66334768  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=31361
47.19	     nbFailedAssignments=18037  nbBacktracks=13110  nbVisitedNodes=62509  nbRestartNogoods=103
47.19	       =>  wckTime=15.928  cpuTime=15.73  mem=16M472
55.52	   
55.52	   search
55.52	     run=16  nbConstraintChecks=100351266  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=48119
55.52	     nbFailedAssignments=28214  nbBacktracks=19678  nbVisitedNodes=96012  nbRestartNogoods=109
55.52	       =>  wckTime=24.256  cpuTime=23.99  mem=16M472
66.84	   
66.84	   search
66.84	     run=17  nbConstraintChecks=148604963  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=70873
66.84	     nbFailedAssignments=41104  nbBacktracks=29530  nbVisitedNodes=141508  nbRestartNogoods=116
66.84	       =>  wckTime=35.58  cpuTime=35.23  mem=16M472
87.20	   
87.20	   search
87.20	     run=18  nbConstraintChecks=230094267  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=108161
87.20	     nbFailedAssignments=63605  nbBacktracks=44308  nbVisitedNodes=216075  nbRestartNogoods=121
87.20	       =>  wckTime=55.935  cpuTime=55.44  mem=16M472
116.04	   
116.04	   search
116.04	     run=19  nbConstraintChecks=346999851  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=160710
116.04	     nbFailedAssignments=93976  nbBacktracks=66476  nbVisitedNodes=321163  nbRestartNogoods=132
116.04	       =>  wckTime=84.778  cpuTime=84.05  mem=16M472
163.54	   
163.54	   search
163.54	     run=20  nbConstraintChecks=532756038  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=246305
163.54	     nbFailedAssignments=146312  nbBacktracks=99728  nbVisitedNodes=492346  nbRestartNogoods=139
163.54	       =>  wckTime=132.278  cpuTime=131.2  mem=16M472
225.84	   
225.84	   search
225.84	     run=21  nbConstraintChecks=786106093  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=365030
225.84	     nbFailedAssignments=215149  nbBacktracks=149606  nbVisitedNodes=729778  nbRestartNogoods=148
225.84	       =>  wckTime=194.574  cpuTime=193.02  mem=16M472
321.03	   
321.03	   search
321.03	     run=22  nbConstraintChecks=1175930348  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=546329
321.03	     nbFailedAssignments=321621  nbBacktracks=224424  nbVisitedNodes=1092161  nbRestartNogoods=160
321.03	       =>  wckTime=289.769  cpuTime=287.47  mem=16M472
460.09	   
460.09	   search
460.09	     run=23  nbConstraintChecks=1738447945  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=812880
460.09	     nbFailedAssignments=475939  nbBacktracks=336651  nbVisitedNodes=1623852  nbRestartNogoods=174
460.09	       =>  wckTime=428.825  cpuTime=425.42  mem=16M472
571.86	   
571.86	   search
571.86	     run=24  nbConstraintChecks=2203429853  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1022142
571.86	     nbFailedAssignments=601246  nbBacktracks=420607  nbVisitedNodes=2035252  nbRestartNogoods=184
571.86	       =>  wckTime=540.602  cpuTime=536.3  mem=16M472
571.87	   
571.87	   global
571.87	     nbConstraintChecks=2203431628  nbRestartNogoods=184  solvingWckTime=540.604  solvingCpuTime=536.3  expiredTime=no
571.87	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=566.9
571.87	       =>  wckTime=571.55  cpuTime=566.84  mem=16M472
571.87	
571.87	s OPTIMUM FOUND
571.87	v 0 2 1 3 2 2 1 3 1 4 1 0 0 2 4 3 1 4 4 3 3 3 1 1 2 0 0 2 
571.87	   
571.87	   totalWckTime=571.629  totalCpuTime=566.91

Verifier Data (download as text)

96 unsatisfied constraints, 93 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/node59/watcher-278660-1169289074 -o ROOT/results/node59/solver-278660-1169289074 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278660-1169289074/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.18 1.65 1.86 4/73 19166
/proc/meminfo: memFree=1402064/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=18540 CPUtime=0
/proc/19165/stat : 19165 (runsolver) R 19163 19165 18801 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 277305911 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 217051622695 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19165/statm: 4635 279 244 17 0 2626 0

[startup+0.107043 s]
/proc/loadavg: 1.18 1.65 1.86 4/73 19166
/proc/meminfo: memFree=1402064/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=914988 CPUtime=0.08
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 277305911 936947712 2726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072917025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515087 s]
/proc/loadavg: 1.18 1.65 1.86 4/73 19166
/proc/meminfo: memFree=1402064/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915332 CPUtime=0.49
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 6307 0 1 0 45 4 0 0 18 0 8 0 277305911 937299968 6046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155769996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228833 6046 2144 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33617 s]
/proc/loadavg: 1.18 1.65 1.86 4/80 19173
/proc/meminfo: memFree=1384152/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=1.29
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 7139 0 1 0 111 18 0 0 24 0 8 0 277305911 937431040 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073723659 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 6877 2476 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.13
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 341 0 0 0 13 0 0 0 16 0 8 0 277305919 937431040 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 6877 18446744073709551615 134512640 134570532 4294956480 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) 915460

[startup+2.97735 s]
/proc/loadavg: 1.24 1.65 1.86 3/80 19173
/proc/meminfo: memFree=1384152/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=2.93
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 7142 0 1 0 243 50 0 0 25 0 8 0 277305911 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073715621 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 6879 2476 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.13
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 277305919 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460

[startup+6.18271 s]
/proc/loadavg: 1.24 1.65 1.86 3/80 19173
/proc/meminfo: memFree=1384088/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=6.11
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 7142 0 1 0 496 115 0 0 25 0 8 0 277305911 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073715554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 6879 2476 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.13
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 277305919 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915460

[startup+12.6494 s]
/proc/loadavg: 1.36 1.66 1.86 3/80 19173
/proc/meminfo: memFree=1384088/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=12.52
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 7143 0 1 0 1006 246 0 0 25 0 8 0 277305911 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073725802 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 6880 2476 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.13
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 344 0 0 0 13 0 0 0 17 0 8 0 277305919 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915460

[startup+25.5018 s]
/proc/loadavg: 1.46 1.67 1.86 3/80 19173
/proc/meminfo: memFree=1384088/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=25.28
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 7143 0 1 0 2016 512 0 0 25 0 8 0 277305911 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073712058 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 6880 2476 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.13
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 344 0 0 0 13 0 0 0 17 0 8 0 277305919 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915460

[startup+51.1077 s]
/proc/loadavg: 1.64 1.70 1.87 3/80 19173
/proc/meminfo: memFree=1376664/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=50.68
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9041 0 1 0 4438 630 0 0 25 0 8 0 277305911 937431040 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073870310 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8773 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915460

[startup+102.405 s]
/proc/loadavg: 1.84 1.74 1.87 3/80 19173
/proc/meminfo: memFree=1376600/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=101.6
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9049 0 1 0 9530 630 0 0 25 0 8 0 277305911 937431040 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836769 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8781 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 915460

[startup+162.453 s]
/proc/loadavg: 1.94 1.79 1.88 3/80 19173
/proc/meminfo: memFree=1376600/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=161.19
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9051 0 1 0 15489 630 0 0 25 0 8 0 277305911 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816594 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8783 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.19
Current children cumulated vsize (KiB) 915460

[startup+222.494 s]
/proc/loadavg: 1.98 1.82 1.88 3/80 19173
/proc/meminfo: memFree=1376536/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=220.77
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9054 0 1 0 21447 630 0 0 25 0 8 0 277305911 937431040 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8785 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.77
Current children cumulated vsize (KiB) 915460

[startup+282.535 s]
/proc/loadavg: 1.99 1.85 1.89 3/80 19173
/proc/meminfo: memFree=1376472/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=280.35
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9057 0 1 0 27405 630 0 0 25 0 8 0 277305911 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073888621 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8788 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.35
Current children cumulated vsize (KiB) 915460

[startup+342.581 s]
/proc/loadavg: 1.99 1.88 1.89 3/80 19173
/proc/meminfo: memFree=1376344/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=339.92
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9060 0 1 0 33362 630 0 0 25 0 8 0 277305911 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816594 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8790 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.92
Current children cumulated vsize (KiB) 915460

[startup+402.621 s]
/proc/loadavg: 2.14 1.93 1.91 3/80 19173
/proc/meminfo: memFree=1376280/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=399.5
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9060 0 1 0 39319 631 0 0 25 0 8 0 277305911 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839243 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8790 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.5
Current children cumulated vsize (KiB) 915460

[startup+462.662 s]
/proc/loadavg: 2.05 1.94 1.91 3/80 19173
/proc/meminfo: memFree=1376280/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=459.05
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9062 0 1 0 45274 631 0 0 25 0 8 0 277305911 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8792 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 459.05
Current children cumulated vsize (KiB) 915460

[startup+522.702 s]
/proc/loadavg: 2.02 1.95 1.91 3/80 19173
/proc/meminfo: memFree=1376280/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=518.62
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9062 0 1 0 51231 631 0 0 25 0 8 0 277305911 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816610 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8792 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.62
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 571.915
CPU time (s): 567.411
CPU user time (s): 561.088
CPU system time (s): 6.32304
CPU usage (%): 99.2124
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 561.088
system time used= 6.32304
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9159
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= 12723
involuntary context switches= 23492

runsolver used 0.676897 s user time and 1.43178 s system time

The end

Launcher Data (download as text)

Begin job on node59 on Sat Jan 20 10:31:15 UTC 2007


IDJOB= 278660
IDBENCH= 8612
IDSOLVER= 69
FILE ID= node59/278660-1169289074

PBS_JOBID= 3609714

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-80/kbtree-9-7-3-5-80-01_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278660-1169289074/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-278660-1169289074 -o ROOT/results/node59/solver-278660-1169289074 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278660-1169289074/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3b8f3e856a96102e387b9b37e43d4bae

RANDOM SEED= 495284605

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.239
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.239
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:       1402608 kB
Buffers:         48588 kB
Cached:         503164 kB
SwapCached:          0 kB
Active:         121548 kB
Inactive:       456444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1402608 kB
SwapTotal:     4192956 kB
SwapFree:      4192680 kB
Dirty:            1672 kB
Writeback:           0 kB
Mapped:          37820 kB
Slab:            60764 kB
Committed_AS:  5245556 kB
PageTables:       1820 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 node59 on Sat Jan 20 10:40:52 UTC 2007