Trace number 278624

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 412.663 413.19

General information on the benchmark

NameMaxCSP/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-70/
kbtree-9-7-3-5-70-01_ext.xml
MD5SUM67976402921600718d2eedb10c0f1dff
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints115
Best CPU time to get the best result obtained on this benchmark2.71159
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.38	   
0.39	Abscon 109 (November, 2006)
0.39	   
0.39	   configuration
0.39	     name=pfc.xml
0.42	   
0.42	   instance
0.42	     name=/tmp/evaluation/278624-1169289026/unknown.xml
0.45	   
0.45	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.49	     nbVariables=28  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.49	       =>  wckTime=0.098  cpuTime=0.09  mem=6M910
0.49	   
0.49	   relations being loaded...
0.54	   
0.54	   constraints being loaded...
0.62	     nbConstraints=189  nbRelationTypes=189  nbExtensionStructures=189  nbSharedExtensionStructures=0
0.62	     nbConflictsStructures=189  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1858  maxDegree=27
0.62	     maxArity=2
0.62	       =>  wckTime=0.234  cpuTime=0.17  mem=8M860
0.66	   
0.66	   solver LocalSearchSolver being built... 
0.70	       =>  wckTime=0.315  cpuTime=0.21  mem=5M532
0.71	
0.71	s SATISFIABLE
0.71	o 64
0.71	c 125
0.71	o 66
0.71	c 123
0.71	o 71
0.71	c 118
0.71	o 75
0.71	c 114
0.71	o 78
0.71	c 111
0.71	o 82
0.71	c 107
0.71	o 83
0.71	c 106
0.71	o 87
0.71	c 102
0.72	o 88
0.72	c 101
0.72	o 90
0.72	c 99
0.72	o 92
0.72	c 97
0.72	o 93
0.72	c 96
0.72	o 94
0.72	c 95
0.72	o 96
0.72	c 93
0.72	o 97
0.72	c 92
0.72	o 98
0.72	c 91
0.72	o 99
0.72	c 90
0.72	o 100
0.72	c 89
0.72	o 101
0.72	c 88
0.73	o 102
0.73	c 87
0.73	o 103
0.73	c 86
0.73	o 104
0.73	c 85
0.73	o 105
0.73	c 84
0.73	o 106
0.73	c 83
0.73	o 108
0.73	c 81
0.73	o 109
0.73	c 80
0.74	o 110
0.74	c 79
0.74	o 111
0.74	c 78
0.75	o 112
0.75	c 77
0.79	o 113
0.79	c 76
0.86	o 114
0.86	c 75
0.88	o 115
0.88	c 74
2.51	   
2.51	   search
2.51	     run=0  nbConstraintChecks=10803856  nbAssignments=10000
2.51	       =>  wckTime=1.811  cpuTime=1.79  mem=5M532
4.23	   
4.23	   search
4.23	     run=1  nbConstraintChecks=21692386  nbAssignments=20000
4.23	       =>  wckTime=3.532  cpuTime=3.5  mem=5M532
5.94	   
5.94	   search
5.94	     run=2  nbConstraintChecks=32474615  nbAssignments=30000
5.94	       =>  wckTime=5.239  cpuTime=5.21  mem=5M532
7.67	   
7.67	   search
7.67	     run=3  nbConstraintChecks=43382752  nbAssignments=40000
7.67	       =>  wckTime=6.972  cpuTime=6.94  mem=5M532
9.40	   
9.40	   search
9.40	     run=4  nbConstraintChecks=54171636  nbAssignments=50000
9.40	       =>  wckTime=8.695  cpuTime=8.67  mem=5M532
11.13	   
11.13	   search
11.13	     run=5  nbConstraintChecks=65005626  nbAssignments=60000
11.13	       =>  wckTime=10.428  cpuTime=10.39  mem=5M532
12.86	   
12.86	   search
12.86	     run=6  nbConstraintChecks=75796485  nbAssignments=70000
12.86	       =>  wckTime=12.154  cpuTime=12.12  mem=5M532
14.58	   
14.58	   search
14.58	     run=7  nbConstraintChecks=86632786  nbAssignments=80000
14.58	       =>  wckTime=13.882  cpuTime=13.85  mem=5M532
16.31	   
16.31	   search
16.31	     run=8  nbConstraintChecks=97420389  nbAssignments=90000
16.31	       =>  wckTime=15.606  cpuTime=15.57  mem=5M532
18.03	   
18.03	   search
18.03	     run=9  nbConstraintChecks=108304113  nbAssignments=100000
18.03	       =>  wckTime=17.331  cpuTime=17.29  mem=5M532
19.78	   
19.78	   search
19.78	     run=10  nbConstraintChecks=119187730  nbAssignments=110000
19.78	       =>  wckTime=19.083  cpuTime=19.04  mem=5M532
21.55	   
21.55	   search
21.55	     run=11  nbConstraintChecks=130037194  nbAssignments=120000
21.55	       =>  wckTime=20.85  cpuTime=20.81  mem=5M532
23.26	   
23.26	   search
23.26	     run=12  nbConstraintChecks=140800918  nbAssignments=130000
23.26	       =>  wckTime=22.558  cpuTime=22.51  mem=5M532
24.97	   
24.97	   search
24.97	     run=13  nbConstraintChecks=151603807  nbAssignments=140000
24.97	       =>  wckTime=24.272  cpuTime=24.23  mem=5M532
26.69	   
26.69	   search
26.69	     run=14  nbConstraintChecks=162409705  nbAssignments=150000
26.69	       =>  wckTime=25.987  cpuTime=25.94  mem=5M532
28.48	   
28.48	   search
28.48	     run=15  nbConstraintChecks=173252056  nbAssignments=160000
28.48	       =>  wckTime=27.776  cpuTime=27.72  mem=5M532
30.20	   
30.20	   search
30.20	     run=16  nbConstraintChecks=184036692  nbAssignments=170000
30.20	       =>  wckTime=29.499  cpuTime=29.45  mem=5M532
30.93	   
30.93	   search
30.93	     run=17  nbConstraintChecks=188628688  nbAssignments=174247
30.93	       =>  wckTime=30.231  cpuTime=30.18  mem=5M532
30.94	   
30.94	   global
30.94	     nbConstraintChecks=188628688  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.94	     solvingWckTime=30.23  solvingCpuTime=30.17  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.94	     globalCpuTime=30.43
30.94	       =>  wckTime=30.547  cpuTime=30.39  mem=5M532
30.94	   
30.94	   solver IterativeSystematicSolver being built... 
31.06	       =>  wckTime=30.674  cpuTime=30.49  mem=16M488
31.07	   
31.07	   preprocessing
31.07	     nbConstraintChecks=975  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.07	     detectedInconsistency=no
31.07	       =>  wckTime=0.0060  cpuTime=0.01  mem=16M488
31.12	   
31.12	   search
31.12	     run=0  nbConstraintChecks=71171  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=48
31.12	     nbFailedAssignments=23  nbBacktracks=10  nbVisitedNodes=82  nbRestartNogoods=0
31.12	       =>  wckTime=0.057  cpuTime=0.04  mem=16M488
31.17	   
31.17	   search
31.17	     run=1  nbConstraintChecks=172313  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=111
31.17	     nbFailedAssignments=56  nbBacktracks=25  nbVisitedNodes=193  nbRestartNogoods=3
31.17	       =>  wckTime=0.106  cpuTime=0.08  mem=16M488
31.20	   
31.20	   search
31.20	     run=2  nbConstraintChecks=292143  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=185
31.20	     nbFailedAssignments=93  nbBacktracks=47  nbVisitedNodes=326  nbRestartNogoods=7
31.20	       =>  wckTime=0.14  cpuTime=0.11  mem=16M488
31.25	   
31.25	   search
31.25	     run=3  nbConstraintChecks=474814  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=293
31.25	     nbFailedAssignments=154  nbBacktracks=80  nbVisitedNodes=528  nbRestartNogoods=10
31.25	       =>  wckTime=0.19  cpuTime=0.15  mem=16M488
31.33	   
31.33	   search
31.33	     run=4  nbConstraintChecks=774147  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=470
31.33	     nbFailedAssignments=267  nbBacktracks=130  nbVisitedNodes=868  nbRestartNogoods=12
31.33	       =>  wckTime=0.267  cpuTime=0.23  mem=16M488
31.43	   
31.43	   search
31.43	     run=5  nbConstraintChecks=1183822  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=709
31.43	     nbFailedAssignments=417  nbBacktracks=205  nbVisitedNodes=1332  nbRestartNogoods=22
31.43	       =>  wckTime=0.37  cpuTime=0.33  mem=16M488
31.60	   
31.62	   search
31.62	     run=6  nbConstraintChecks=1839252  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1072
31.62	     nbFailedAssignments=654  nbBacktracks=318  nbVisitedNodes=2045  nbRestartNogoods=32
31.62	       =>  wckTime=0.54  cpuTime=0.49  mem=16M488
31.88	   
31.88	   search
31.88	     run=7  nbConstraintChecks=2912909  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1668
31.88	     nbFailedAssignments=1065  nbBacktracks=488  nbVisitedNodes=3222  nbRestartNogoods=38
31.88	       =>  wckTime=0.815  cpuTime=0.75  mem=16M488
32.23	   
32.23	   search
32.23	     run=8  nbConstraintChecks=4390308  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2480
32.23	     nbFailedAssignments=1609  nbBacktracks=744  nbVisitedNodes=4834  nbRestartNogoods=46
32.23	       =>  wckTime=1.172  cpuTime=1.11  mem=16M488
32.71	   
32.71	   search
32.71	     run=9  nbConstraintChecks=6425959  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3615
32.71	     nbFailedAssignments=2346  nbBacktracks=1128  nbVisitedNodes=7090  nbRestartNogoods=57
32.71	       =>  wckTime=1.652  cpuTime=1.59  mem=16M488
33.36	   
33.36	   search
33.36	     run=10  nbConstraintChecks=9301436  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5173
33.36	     nbFailedAssignments=3313  nbBacktracks=1705  nbVisitedNodes=10192  nbRestartNogoods=65
33.36	       =>  wckTime=2.295  cpuTime=2.22  mem=16M488
34.40	   
34.40	   search
34.40	     run=11  nbConstraintChecks=13785448  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7606
34.40	     nbFailedAssignments=4871  nbBacktracks=2569  nbVisitedNodes=15047  nbRestartNogoods=74
34.40	       =>  wckTime=3.334  cpuTime=3.26  mem=16M488
36.06	   
36.06	   search
36.06	     run=12  nbConstraintChecks=21143115  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11586
36.06	     nbFailedAssignments=7541  nbBacktracks=3866  nbVisitedNodes=22994  nbRestartNogoods=81
36.06	       =>  wckTime=4.999  cpuTime=4.92  mem=16M488
38.27	   
38.27	   search
38.27	     run=13  nbConstraintChecks=31291826  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=17065
38.27	     nbFailedAssignments=11061  nbBacktracks=5812  nbVisitedNodes=33939  nbRestartNogoods=93
38.27	       =>  wckTime=7.21  cpuTime=7.13  mem=16M488
41.84	   
41.84	   search
41.84	     run=14  nbConstraintChecks=47163892  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=25924
41.84	     nbFailedAssignments=16986  nbBacktracks=8732  nbVisitedNodes=51643  nbRestartNogoods=106
41.84	       =>  wckTime=10.777  cpuTime=10.69  mem=16M488
47.02	   
47.02	   search
47.02	     run=15  nbConstraintChecks=69372567  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=37892
47.02	     nbFailedAssignments=24565  nbBacktracks=13110  nbVisitedNodes=75568  nbRestartNogoods=117
47.02	       =>  wckTime=15.956  cpuTime=15.86  mem=16M488
54.41	   
54.41	   search
54.41	     run=16  nbConstraintChecks=99342753  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=54690
54.41	     nbFailedAssignments=34787  nbBacktracks=19678  nbVisitedNodes=109156  nbRestartNogoods=130
54.41	       =>  wckTime=23.352  cpuTime=23.26  mem=16M488
63.99	   
63.99	   search
63.99	     run=17  nbConstraintChecks=141543259  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=78150
63.99	     nbFailedAssignments=48382  nbBacktracks=29530  nbVisitedNodes=156063  nbRestartNogoods=148
63.99	       =>  wckTime=32.923  cpuTime=32.82  mem=16M488
81.84	   
81.84	   search
81.84	     run=18  nbConstraintChecks=214089897  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=116980
81.84	     nbFailedAssignments=72426  nbBacktracks=44308  nbVisitedNodes=233715  nbRestartNogoods=158
81.84	       =>  wckTime=50.778  cpuTime=50.65  mem=16M488
107.39	   
107.39	   search
107.39	     run=19  nbConstraintChecks=318081647  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=173892
107.39	     nbFailedAssignments=107161  nbBacktracks=66476  nbVisitedNodes=347530  nbRestartNogoods=165
107.39	       =>  wckTime=76.326  cpuTime=76.19  mem=16M488
144.66	   
144.66	   search
144.66	     run=20  nbConstraintChecks=470908106  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=259867
144.66	     nbFailedAssignments=159880  nbBacktracks=99728  nbVisitedNodes=519461  nbRestartNogoods=173
144.66	       =>  wckTime=113.599  cpuTime=113.42  mem=16M488
201.72	   
201.72	   search
201.72	     run=21  nbConstraintChecks=689259838  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=382232
201.72	     nbFailedAssignments=232357  nbBacktracks=149606  nbVisitedNodes=763913  nbRestartNogoods=182
201.72	       =>  wckTime=170.661  cpuTime=170.41  mem=16M488
290.67	   
290.67	   search
290.67	     run=22  nbConstraintChecks=1034461967  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=576890
290.67	     nbFailedAssignments=352189  nbBacktracks=224424  nbVisitedNodes=1150283  nbRestartNogoods=194
290.67	       =>  wckTime=259.603  cpuTime=259.27  mem=16M488
413.15	   
413.15	   search
413.15	     run=23  nbConstraintChecks=1518866750  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=850372
413.15	     nbFailedAssignments=513985  nbBacktracks=336111  nbVisitedNodes=1683758  nbRestartNogoods=206
413.15	       =>  wckTime=382.087  cpuTime=381.65  mem=16M488
413.15	   
413.15	   global
413.15	     nbConstraintChecks=1518867725  nbRestartNogoods=206  solvingWckTime=382.088  solvingCpuTime=381.65  expiredTime=no
413.15	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=412.18
413.15	       =>  wckTime=412.764  cpuTime=412.14  mem=16M488
413.15	
413.15	s OPTIMUM FOUND
413.16	v 2 0 1 3 3 3 3 1 2 0 4 1 4 0 0 1 0 3 3 3 4 1 4 4 0 2 1 0 
413.16	   
413.16	   totalWckTime=412.839  totalCpuTime=412.18

Verifier Data (download as text)

74 unsatisfied constraints, 115 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/node68/watcher-278624-1169289026 -o ROOT/results/node68/solver-278624-1169289026 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278624-1169289026/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.06 1.71 1.82 7/72 4749
/proc/meminfo: memFree=1389712/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=168 CPUtime=0
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 76400410 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10515236 0 0 4096 0 0 0 0 17 1 0 0
/proc/4748/statm: 42 23 18 14 0 2 0

[startup+0.106608 s]
/proc/loadavg: 1.06 1.71 1.82 7/72 4749
/proc/meminfo: memFree=1389712/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=914988 CPUtime=0.08
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 3010 0 1 0 7 1 0 0 16 0 8 0 76400410 936947712 2756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155062290 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4748/statm: 228747 2756 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.514647 s]
/proc/loadavg: 1.06 1.71 1.82 7/72 4749
/proc/meminfo: memFree=1389712/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915332 CPUtime=0.41
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 6149 0 1 0 38 3 0 0 16 0 8 0 76400410 937299968 5888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916957 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4748/statm: 228833 5888 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915332

[startup+1.33572 s]
/proc/loadavg: 1.05 1.70 1.82 2/75 4756
/proc/meminfo: memFree=1372280/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=1.22
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 7152 0 1 0 107 15 0 0 17 0 8 0 76400410 937435136 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 6890 2476 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 163 0 0 0 2 0 0 0 17 0 8 0 76400414 937435136 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915468 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937439232 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.12
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 343 0 0 0 12 0 0 0 16 0 8 0 76400418 937435136 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915464

[startup+2.97286 s]
/proc/loadavg: 1.05 1.70 1.82 3/82 4780
/proc/meminfo: memFree=1370688/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=2.86
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 7155 0 1 0 236 50 0 0 19 0 8 0 76400410 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 6892 2476 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.12
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 345 0 0 0 12 0 0 0 16 0 8 0 76400418 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915468 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937439232 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915464

[startup+6.27516 s]
/proc/loadavg: 1.05 1.70 1.82 3/82 4780
/proc/meminfo: memFree=1370688/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=6.15
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 7155 0 1 0 495 120 0 0 25 0 8 0 76400410 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 6892 2476 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.12
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 345 0 0 0 12 0 0 0 16 0 8 0 76400418 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915464

[startup+12.7428 s]
/proc/loadavg: 1.12 1.69 1.81 2/75 4803
/proc/meminfo: memFree=1371960/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=12.62
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 7156 0 1 0 1003 259 0 0 25 0 8 0 76400410 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 6893 2476 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915468 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937439232 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.12
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 346 0 0 0 12 0 0 0 16 0 8 0 76400418 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464

[startup+25.6029 s]
/proc/loadavg: 1.17 1.69 1.81 2/75 4804
/proc/meminfo: memFree=1374528/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=25.47
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 7156 0 1 0 2016 531 0 0 25 0 8 0 76400410 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 6893 2476 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.13
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 346 0 0 0 13 0 0 0 16 0 8 0 76400418 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915464

[startup+51.3013 s]
/proc/loadavg: 1.18 1.64 1.79 3/82 4873
/proc/meminfo: memFree=1363136/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=51.13
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 9045 0 1 0 4467 646 0 0 25 0 8 0 76400410 937435136 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833268 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 8779 2527 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.22
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 401 0 0 0 21 1 0 0 16 0 8 0 76400418 937435136 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915464

[startup+102.589 s]
/proc/loadavg: 1.30 1.58 1.76 3/88 4960
/proc/meminfo: memFree=1358296/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=102.38
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 9054 0 1 0 9591 647 0 0 25 0 8 0 76400410 937435136 8787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849544 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 8787 2527 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 8787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 8787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.22
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 76400418 937435136 8787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 8787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 8787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 915464

[startup+162.645 s]
/proc/loadavg: 1.74 1.66 1.77 3/88 4960
/proc/meminfo: memFree=1358424/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=162.37
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 9060 0 1 0 15590 647 0 0 25 0 8 0 76400410 937435136 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073860555 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 8792 2527 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.22
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 76400418 937435136 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.37
Current children cumulated vsize (KiB) 915464

[startup+222.701 s]
/proc/loadavg: 1.90 1.72 1.79 3/88 4960
/proc/meminfo: memFree=1358424/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=222.37
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 9062 0 1 0 21590 647 0 0 25 0 8 0 76400410 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073891502 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 8794 2527 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.22
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 76400418 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.37
Current children cumulated vsize (KiB) 915464

[startup+282.802 s]
/proc/loadavg: 1.96 1.77 1.80 3/88 4960
/proc/meminfo: memFree=1358360/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=282.42
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 9062 0 1 0 27595 647 0 0 25 0 8 0 76400410 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 8794 2527 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.22
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 76400418 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.42
Current children cumulated vsize (KiB) 915464

[startup+342.901 s]
/proc/loadavg: 1.98 1.81 1.81 3/88 4960
/proc/meminfo: memFree=1358360/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=342.45
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 9065 0 1 0 33598 647 0 0 25 0 8 0 76400410 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073880492 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 8797 2527 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.22
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 76400418 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.45
Current children cumulated vsize (KiB) 915464

[startup+402.961 s]
/proc/loadavg: 2.04 1.85 1.82 3/88 4960
/proc/meminfo: memFree=1358360/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=402.45
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 9065 0 1 0 39598 647 0 0 25 0 8 0 76400410 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829970 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 8797 2527 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.22
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 76400418 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.45
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 413.19
CPU time (s): 412.663
CPU user time (s): 406.182
CPU system time (s): 6.48101
CPU usage (%): 99.8726
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 406.182
system time used= 6.48101
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9160
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= 9264
involuntary context switches= 10007

runsolver used 0.480926 s user time and 1.3028 s system time

The end

Launcher Data (download as text)

Begin job on node68 on Sat Jan 20 10:30:30 UTC 2007


IDJOB= 278624
IDBENCH= 8549
IDSOLVER= 69
FILE ID= node68/278624-1169289026

PBS_JOBID= 3609731

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-70/kbtree-9-7-3-5-70-01_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278624-1169289026/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-278624-1169289026 -o ROOT/results/node68/solver-278624-1169289026 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278624-1169289026/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  67976402921600718d2eedb10c0f1dff

RANDOM SEED= 123707432

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.232
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.232
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:       1390672 kB
Buffers:         51148 kB
Cached:         519704 kB
SwapCached:        144 kB
Active:         137680 kB
Inactive:       453428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1390672 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4340 kB
Writeback:           0 kB
Mapped:          30332 kB
Slab:            59860 kB
Committed_AS:   630000 kB
PageTables:       1604 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66563 MiB



End job on node68 on Sat Jan 20 10:37:28 UTC 2007